author | wenzelm |
Wed, 22 Sep 2010 18:21:48 +0200 | |
changeset 39616 | 8052101883c3 |
parent 35247 | 0831bd85eee5 |
permissions | -rw-r--r-- |
39616
8052101883c3
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
wenzelm
parents:
35247
diff
changeset
|
1 |
Unsynchronized.setmp quick_and_dirty true |
33615 | 2 |
use_thys ["Common_Patterns"]; |
24607 | 3 |
|
35247 | 4 |
use_thys ["QuoDataType", "QuoNestedDataType", "Term", "SList", |
33688
1a97dcd8dc6a
moved old SList, LList, LFilter to AFP/Lazy-Lists-II;
wenzelm
parents:
33615
diff
changeset
|
5 |
"ABexp", "Tree", "Ordinals", "Sigma_Algebra", "Comb", "PropLog", "Com"]; |