FOL/ex/ROOT: now loads mini.ML
authorlcp
Mon Oct 31 17:14:42 1994 +0100 (1994-10-31)
changeset 667661fc2e9c945
parent 666 4d9f6d83c2bf
child 668 0d0923eb0f0d
FOL/ex/ROOT: now loads mini.ML
src/FOL/ex/ROOT.ML
     1.1 --- a/src/FOL/ex/ROOT.ML	Mon Oct 31 17:09:10 1994 +0100
     1.2 +++ b/src/FOL/ex/ROOT.ML	Mon Oct 31 17:14:42 1994 +0100
     1.3 @@ -25,6 +25,7 @@
     1.4  time_use     "ex/quant.ML";
     1.5  
     1.6  writeln"\n** Classical examples **\n";
     1.7 +time_use     "ex/mini.ML";
     1.8  time_use     "ex/cla.ML";
     1.9  time_use_thy "ex/If";
    1.10