chapter AFP
session Abstract_Substitution = HOL +
options [timeout = 300]
sessions
First_Order_Terms
"HOL-ex"
Regular_Tree_Relations
theories
Abstract_Substitution
Based_Substitution
Based_Substitution_Lifting
Substitution_First_Order_Term
Substitution_HOL_ex_Unification
Substitution_Lifting_Example
document_files
"root.tex"
[Dauer der Verarbeitung: 0.2 Sekunden, vorverarbeitet 2026-07-01]
