| changeset 197 | ca4ddf26a7c7 |
| parent 195 | 6b26b1fd4da5 |
| 196:704fd8749dad | 197:ca4ddf26a7c7 |
|---|---|
1 session "PIP" = HOL + |
1 session "PIP" = HOL + |
2 theories [document = false, quick_and_dirty] |
2 theories [document = false] |
3 "Implementation" |
3 "Implementation" |
4 "Correctness" |
4 "Correctness" |
5 |
5 |
6 session "Slides2" in "Slides" = PIP + |
6 session "Slides2" in "Slides" = PIP + |
7 options [document_variants="slides2"] |
7 options [document_variants="slides2"] |