doc-src/TutorialI/Advanced/ROOT.ML
author nipkow
Thu Sep 14 17:46:00 2000 +0200 (2000-09-14)
changeset 9958 67f2920862c7
child 10187 0376cccd9118
permissions -rw-r--r--
*** empty log message ***
     1 use "../settings.ML";
     2 use_thy "simp";