2018-12-25 23:47:54 +00:00
|
|
|
chapter AFP
|
|
|
|
|
2019-01-05 17:58:34 +00:00
|
|
|
session "Core_DOM-devel" (AFP) = "HOL-Library" +
|
2020-05-23 10:38:25 +00:00
|
|
|
options [timeout = 1200]
|
|
|
|
directories
|
|
|
|
"classes"
|
|
|
|
"monads"
|
|
|
|
"pointers"
|
|
|
|
"preliminaries"
|
|
|
|
"tests"
|
2018-12-25 23:47:54 +00:00
|
|
|
theories
|
|
|
|
Core_DOM
|
|
|
|
Core_DOM_Tests
|
2020-05-23 10:38:25 +00:00
|
|
|
document_files
|
2018-12-25 23:47:54 +00:00
|
|
|
"root.tex"
|
|
|
|
"root.bib"
|