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.9 Sekunden
(vorverarbeitet am 2026-09-09)
¤
*© Formatika GbR, Deutschland
