| author | Cezary Kaliszyk <kaliszyk@in.tum.de> |
| Tue, 08 Dec 2009 15:12:36 +0100 | |
| changeset 629 | df42285e7286 |
| parent 604 | 0cf166548856 |
| child 685 | b12f0321dfb0 |
| permissions | -rw-r--r-- |
|
604
0cf166548856
isabelle make tests all examples
Christian Urban <urbanc@in.tum.de>
parents:
601
diff
changeset
|
1 |
quick_and_dirty := true; |
|
0cf166548856
isabelle make tests all examples
Christian Urban <urbanc@in.tum.de>
parents:
601
diff
changeset
|
2 |
|
|
0cf166548856
isabelle make tests all examples
Christian Urban <urbanc@in.tum.de>
parents:
601
diff
changeset
|
3 |
no_document use_thys |
|
601
81f40b8bde7b
added "end" to each example theory
Christian Urban <urbanc@in.tum.de>
parents:
597
diff
changeset
|
4 |
["QuotMain", |
|
629
df42285e7286
trans2 replaced with equals_rsp_tac
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
604
diff
changeset
|
5 |
"Examples/FSet", |
|
601
81f40b8bde7b
added "end" to each example theory
Christian Urban <urbanc@in.tum.de>
parents:
597
diff
changeset
|
6 |
"Examples/IntEx", |
|
81f40b8bde7b
added "end" to each example theory
Christian Urban <urbanc@in.tum.de>
parents:
597
diff
changeset
|
7 |
"Examples/IntEx2", |
|
81f40b8bde7b
added "end" to each example theory
Christian Urban <urbanc@in.tum.de>
parents:
597
diff
changeset
|
8 |
"Examples/LFex", |
|
81f40b8bde7b
added "end" to each example theory
Christian Urban <urbanc@in.tum.de>
parents:
597
diff
changeset
|
9 |
"Examples/LamEx"]; |