| author | Christian Urban <urbanc@in.tum.de> |
| Sat, 17 Dec 2011 16:36:51 +0000 | |
| branch | Nominal2-Isabelle2011-1 |
| changeset 3067 | c32bdb3f0a68 |
| 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 |
quick_and_dirty := true; |
|
6f38e357b337
rearranged directories and updated to new Isabelle
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
2 |
no_document use_thys ["~~/src/HOL/Library/LaTeXsugar", |
|
6f38e357b337
rearranged directories and updated to new Isabelle
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
3 |
"../Nominal/Nominal2"]; |
|
6f38e357b337
rearranged directories and updated to new Isabelle
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
4 |
use_thys ["Appendix"]; |