equal
deleted
inserted
replaced
46 |
46 |
47 session Corec (doc) in "Corec" = "HOL-Library" + |
47 session Corec (doc) in "Corec" = "HOL-Library" + |
48 options [document_variants = "corec"] |
48 options [document_variants = "corec"] |
49 sessions |
49 sessions |
50 Datatypes |
50 Datatypes |
51 theories [document = false] Datatypes.Setup |
|
52 theories Corec |
51 theories Corec |
53 document_files (in "..") |
52 document_files (in "..") |
54 "prepare_document" |
53 "prepare_document" |
55 "pdfsetup.sty" |
54 "pdfsetup.sty" |
56 "iman.sty" |
55 "iman.sty" |
246 |
245 |
247 session Sugar (doc) in "Sugar" = HOL + |
246 session Sugar (doc) in "Sugar" = HOL + |
248 options [document_variants = "sugar"] |
247 options [document_variants = "sugar"] |
249 sessions |
248 sessions |
250 "HOL-Library" |
249 "HOL-Library" |
251 theories [document = false] |
|
252 "HOL-Library.LaTeXsugar" |
|
253 "HOL-Library.OptionalSugar" |
|
254 theories Sugar |
250 theories Sugar |
255 document_files (in "..") |
251 document_files (in "..") |
256 "prepare_document" |
252 "prepare_document" |
257 "pdfsetup.sty" |
253 "pdfsetup.sty" |
258 document_files |
254 document_files |