| changeset 64 | b4bcd1edbb6d |
| parent 59 | 0a069a667301 |
| child 195 | 6b26b1fd4da5 |
| 63:b620a2a0806a | 64:b4bcd1edbb6d |
|---|---|
1 session "PIP" = HOL + |
1 session "PIP" = HOL + |
2 theories [document = false, quick_and_dirty] |
2 theories [document = false, quick_and_dirty] |
3 "CpsG" |
3 "Implementation" |
4 "ExtGG" |
4 "Correctness" |
5 "Test" |
5 "Test" |
6 |
6 |
7 session "Slides2" in "Slides" = PIP + |
7 session "Slides2" in "Slides" = PIP + |
8 options [document_variants="slides2"] |
8 options [document_variants="slides2"] |
9 theories [document = false] |
9 theories [document = false] |