chapter AFP
session Padic_Ints = "HOL-Algebra" +
options [timeout = 1200]
sessions
"HOL-Number_Theory"
theories
Function_Ring
Cring_Poly
Supplementary_Ring_Facts
Extended_Int
Padic_Construction
Padic_Integers
Padic_Int_Topology
Padic_Int_Polynomials
Hensels_Lemma
Zp_Compact
document_files
"root.tex"
"root.bib"
¤ Dauer der Verarbeitung: 0.10 Sekunden
(vorverarbeitet am 2026-07-02)
¤
*© Formatika GbR, Deutschland
