author | Cezary Kaliszyk <kaliszyk@in.tum.de> |
Mon, 20 Jun 2011 09:38:57 +0900 (2011-06-20) | |
changeset 2874 | 1628e47fa57c |
parent 2748 | 6f38e357b337 |
permissions | -rw-r--r-- |
2748
6f38e357b337
rearranged directories and updated to new Isabelle
Christian Urban <urbanc@in.tum.de>
parents:
2459
diff
changeset
|
1 |
(*show_question_marks := false;*) |
2459 | 2 |
quick_and_dirty := true; |
3 |
||
2748
6f38e357b337
rearranged directories and updated to new Isabelle
Christian Urban <urbanc@in.tum.de>
parents:
2459
diff
changeset
|
4 |
no_document use_thy "~~/src/HOL/Library/LaTeXsugar"; |
2459 | 5 |
|
6 |
use_thy "Slides4" |