--- a/src/Doc/ROOT Sat Jun 15 21:07:32 2013 +0200
+++ b/src/Doc/ROOT Mon Jun 17 19:30:41 2013 +0200
@@ -69,19 +69,20 @@
"document/build"
"document/root.tex"
-session IsarImplementation (doc) in "IsarImplementation" = HOL +
+session IsarImplementation (doc) in "IsarImplementation" = "HOL-Proofs" +
options [document_variants = "implementation"]
theories
Eq
Integration
Isar
Local_Theory
- Logic
ML
Prelim
Proof
Syntax
Tactic
+ theories [proofs = 2, parallel_proofs = 0]
+ Logic
files
"../prepare_document"
"../pdfsetup.sty"