chapter AFP
session Gauss_Jordan = Rank_Nullity_Theorem +
options [timeout = 600]
theories
Examples_Gauss_Jordan_Abstract
Code_Generation_IArrays_SML
Code_Generation_IArrays_Haskell
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-09-28]
