--- a/src/FOL/ex/ROOT.ML Mon Oct 31 17:09:10 1994 +0100
+++ b/src/FOL/ex/ROOT.ML Mon Oct 31 17:14:42 1994 +0100
@@ -25,6 +25,7 @@
time_use "ex/quant.ML";
writeln"\n** Classical examples **\n";
+time_use "ex/mini.ML";
time_use "ex/cla.ML";
time_use_thy "ex/If";