| author | Cezary Kaliszyk <cezarykaliszyk@gmail.com> |
| Tue, 27 Mar 2012 14:56:06 +0200 | |
| changeset 3140 | 5179ff4806c5 |
| parent 3121 | 878de0084b62 |
| permissions | -rw-r--r-- |
|
3121
878de0084b62
added fs and pt for multisets
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
1 |
(*show_question_marks := false;*) |
|
878de0084b62
added fs and pt for multisets
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
2 |
quick_and_dirty := true; |
|
878de0084b62
added fs and pt for multisets
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
3 |
|
|
878de0084b62
added fs and pt for multisets
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
4 |
no_document use_thy "~~/src/HOL/Library/LaTeXsugar"; |
|
878de0084b62
added fs and pt for multisets
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
5 |
|
|
878de0084b62
added fs and pt for multisets
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
6 |
use_thy "SlidesA" |