author | Christian Urban <urbanc@in.tum.de> |
Fri, 22 Apr 2011 00:18:25 +0800 | |
changeset 2771 | 66ef2a2c64fb |
parent 2748 | 6f38e357b337 |
permissions | -rw-r--r-- |
2748
6f38e357b337
rearranged directories and updated to new Isabelle
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
1 |
(* show_question_marks := false; *) |
6f38e357b337
rearranged directories and updated to new Isabelle
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
2 |
quick_and_dirty := true; |
6f38e357b337
rearranged directories and updated to new Isabelle
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
3 |
|
6f38e357b337
rearranged directories and updated to new Isabelle
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
4 |
no_document use_thy "~~/src/HOL/Library/LaTeXsugar"; |
6f38e357b337
rearranged directories and updated to new Isabelle
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
5 |
|
6f38e357b337
rearranged directories and updated to new Isabelle
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
6 |
use_thy "Slides5" |