This repository has been archived on 2020-12-18. You can view files and clone it, but cannot push or open issues or pull requests.
2020-04-04 19:17:01 +00:00
|
|
|
chapter AFP
|
|
|
|
|
|
2020-04-16 20:28:29 +00:00
|
|
|
session "Core_SC_DOM" (AFP) = "HOL-Library" +
|
2020-04-16 22:31:15 +00:00
|
|
|
options [timeout = 1200, document = pdf, document_variants="document:outline=/proof,/ML",document_output=output]
|
2020-04-04 19:17:01 +00:00
|
|
|
directories
|
|
|
|
|
"common"
|
|
|
|
|
"common/classes"
|
|
|
|
|
"common/monads"
|
|
|
|
|
"common/pointers"
|
|
|
|
|
"common/preliminaries"
|
|
|
|
|
"common/tests"
|
2020-05-25 09:55:23 +00:00
|
|
|
"safely_composable"
|
|
|
|
|
"safely_composable/classes"
|
2020-06-10 22:18:50 +00:00
|
|
|
"safely_composable/pointers"
|
2020-04-04 19:17:01 +00:00
|
|
|
theories
|
|
|
|
|
Core_DOM
|
|
|
|
|
Core_DOM_Tests
|
|
|
|
|
document_files (in "document")
|
|
|
|
|
"root.tex"
|
|
|
|
|
"root.bib"
|
