| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Tue, 04 Mar 2014 15:27:59 +0000 | |
| changeset 25 | a9c0eeb00cc3 |
| parent 4 | 9d667d545e32 |
| permissions | -rw-r--r-- |
|
0
110247f9d47e
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
(*show_question_marks := false;*) |
|
110247f9d47e
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
2 |
|
|
110247f9d47e
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
3 |
no_document use_thy "../CpsG"; |
|
110247f9d47e
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
4 |
no_document use_thy "../ExtGG"; |
|
110247f9d47e
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
5 |
no_document use_thy "~~/src/HOL/Library/LaTeXsugar"; |
|
110247f9d47e
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
6 |
quick_and_dirty := true; |
|
4
9d667d545e32
added
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
0
diff
changeset
|
7 |
use_thy "Slides2" |