author | wenzelm |
Sat, 14 Nov 2009 19:56:18 +0100 | |
changeset 33688 | 1a97dcd8dc6a |
parent 33615 | 261abc2e3155 |
child 35247 | 0831bd85eee5 |
permissions | -rw-r--r-- |
28385 | 1 |
setmp_noncritical quick_and_dirty true |
33615 | 2 |
use_thys ["Common_Patterns"]; |
24607 | 3 |
|
28827
b3ce1912ac25
removed Induct/Mutil.thy -- the file has been moved to AFP;
wenzelm
parents:
28385
diff
changeset
|
4 |
use_thys ["QuoDataType", "QuoNestedDataType", "Term", |
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"]; |