chapter AFP
session Relation_Algebra = Kleene_Algebra +
options [timeout = 600]
theories
More_Boolean_Algebra
Relation_Algebra
Relation_Algebra_Vectors
Relation_Algebra_Tests
Relation_Algebra_Functions
Relation_Algebra_Direct_Products
Relation_Algebra_RTC
Relation_Algebra_Models
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.2 Sekunden, vorverarbeitet 2026-07-02]
