Import of official AFP entry for Isabelle 2020.
This commit is contained in:
parent
dec40fef32
commit
f70c859a01
|
@ -1,10 +1,16 @@
|
||||||
chapter AFP
|
chapter AFP
|
||||||
|
|
||||||
session "Core_DOM-devel" (AFP) = "HOL-Library" +
|
session "Core_DOM-devel" (AFP) = "HOL-Library" +
|
||||||
options [timeout = 1200]
|
options [timeout = 1200]
|
||||||
|
directories
|
||||||
|
"classes"
|
||||||
|
"monads"
|
||||||
|
"pointers"
|
||||||
|
"preliminaries"
|
||||||
|
"tests"
|
||||||
theories
|
theories
|
||||||
Core_DOM
|
Core_DOM
|
||||||
Core_DOM_Tests
|
Core_DOM_Tests
|
||||||
document_files
|
document_files
|
||||||
"root.tex"
|
"root.tex"
|
||||||
"root.bib"
|
"root.bib"
|
||||||
|
|
Loading…
Reference in New Issue