Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
chapter AFP
session JinjaThreads (slow) = HOL +
options [timeout = 28800]
sessions
"Binomial-Heaps"
"Finger-Trees"
Automatic_Refinement
Coinductive
Collections
FinFun
Native_Word
Refine_Monadic
Trie
directories
"BV"
"Basic"
"Common"
"Compiler"
"DFA"
"Examples"
"Execute"
"Framework"
"J"
"JVM"
"MM"
theories [document = false]
"Basic/Basic_Main"
theories
JinjaThreads
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.27 Sekunden]
