chapter AFP
session "Abstract-Rewriting" = "Regular-Sets" +
options [timeout = 600]
theories
Seq
Abstract_Rewriting
Abstract_Rewriting_Impl
Relative_Rewriting
Relation_Closure
SN_Orders
SN_Order_Carrier
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-07-01]
