| changeset 39 | 7ea6b019ce24 |
| parent 34 | 313acffe63b6 |
| child 43 | 45e1d324c493 |
| 38:c89013dca1aa | 39:7ea6b019ce24 |
|---|---|
1 session "PIP" = HOL + |
1 session "PIP" = HOL + |
2 theories [document = false] |
2 theories [document = false] |
3 "CpsG" |
3 "CpsG" |
4 "ExtGG" |
4 "ExtGG" |
5 "Test" |
|
5 |
6 |
6 session "Slides2" in "Slides" = PIP + |
7 session "Slides2" in "Slides" = PIP + |
7 options [document_variants="slides2"] |
8 options [document_variants="slides2"] |
8 theories [document = false] |
9 theories [document = false] |
9 "~~/src/HOL/Library/LaTeXsugar" |
10 "~~/src/HOL/Library/LaTeXsugar" |