changeset 8745 | 13b32661dde4 |
child 9493 | 494f8cd34df7 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc-src/TutorialI/Misc/ROOT.ML Wed Apr 19 11:56:31 2000 +0200 @@ -0,0 +1,18 @@ +use_thy "Tree"; +use_thy "cases"; +use_thy "fakenat"; +use_thy "natsum"; +use_thy "arith1"; +use_thy "arith2"; +use_thy "arith3"; +use_thy "arith4"; +use_thy "pairs"; +use_thy "types"; +use_thy "prime_def"; +use_thy "def_rewr"; +use_thy "let_rewr"; +use_thy "cond_rewr"; +use_thy "case_splits"; +use_thy "trace_simp"; +use_thy "Itrev"; +use_thy "asm_simp";