equal
deleted
inserted
replaced
123 "build" |
123 "build" |
124 "foundations.tex" |
124 "foundations.tex" |
125 "getting.tex" |
125 "getting.tex" |
126 "root.tex" |
126 "root.tex" |
127 |
127 |
128 session Implementation (doc) in "Implementation" = "HOL-Proofs" + |
128 session Implementation (doc) in "Implementation" = "HOL" + |
129 options [document_variants = "implementation", quick_and_dirty] |
129 options [document_variants = "implementation", quick_and_dirty] |
130 theories |
130 theories |
131 Eq |
131 Eq |
132 Integration |
132 Integration |
133 Isar |
133 Isar |