Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
chapter AFP
session First_Order_Terms = "Abstract-Rewriting" +
description "First-Order Terms"
options [timeout = 300]
sessions
"HOL-Library"
Certification_Monads
Polynomial_Factorization
Show
Fresh_Identifiers
theories
Transitive_Closure_More
theories
Renaming2_String
theories
Seq_More
Fun_More2
Option_Monad
theories
Matching
Subterm_and_Context
Unification_String
Subsumption
theories
Position
Term_More
Term_Impl
Unification_More
document_files
"root.tex"
"root.bib"
[Dauer der Verarbeitung: 0.23 Sekunden]
