| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Tue, 17 Sep 2013 11:21:58 +0100 | |
| changeset 388 | 0da31edd95b9 |
| parent 334 | d47c2143ab8a |
| permissions | -rw-r--r-- |
|
334
d47c2143ab8a
partially updated conference paper; slightly tuned journal paper
urbanc
parents:
diff
changeset
|
1 |
(*show_question_marks := false;*) |
|
d47c2143ab8a
partially updated conference paper; slightly tuned journal paper
urbanc
parents:
diff
changeset
|
2 |
|
|
d47c2143ab8a
partially updated conference paper; slightly tuned journal paper
urbanc
parents:
diff
changeset
|
3 |
no_document use_thy "~~/src/HOL/Library/LaTeXsugar"; |
|
d47c2143ab8a
partially updated conference paper; slightly tuned journal paper
urbanc
parents:
diff
changeset
|
4 |
quick_and_dirty := true; |
|
d47c2143ab8a
partially updated conference paper; slightly tuned journal paper
urbanc
parents:
diff
changeset
|
5 |
use_thy "Slides4" |