equal
deleted
inserted
replaced
15 "build" |
15 "build" |
16 "root.tex" |
16 "root.tex" |
17 "style.sty" |
17 "style.sty" |
18 |
18 |
19 session Codegen_Basics in "Codegen" = "HOL-Library" + |
19 session Codegen_Basics in "Codegen" = "HOL-Library" + |
20 options [document = false] |
|
21 theories |
20 theories |
22 Setup |
21 Setup |
23 |
22 |
24 session Codegen (doc) in "Codegen" = "Codegen_Basics" + |
23 session Codegen (doc) in "Codegen" = "Codegen_Basics" + |
25 options [document_variants = "codegen", print_mode = "no_brackets,iff"] |
24 options [document_variants = "codegen", print_mode = "no_brackets,iff"] |
503 "build" |
502 "build" |
504 "root.tex" |
503 "root.tex" |
505 "style.sty" |
504 "style.sty" |
506 |
505 |
507 session Typeclass_Hierarchy_Basics in "Typeclass_Hierarchy" = "HOL-Library" + |
506 session Typeclass_Hierarchy_Basics in "Typeclass_Hierarchy" = "HOL-Library" + |
508 options [document = false] |
|
509 theories |
507 theories |
510 Setup |
508 Setup |