--- a/src/HOL/W0/ROOT.ML Mon Jun 02 12:15:13 1997 +0200
+++ b/src/HOL/W0/ROOT.ML Mon Jun 02 12:16:24 1997 +0200
@@ -8,7 +8,7 @@
HOL_build_completed; (*Make examples fail if HOL did*)
-writeln"Root file for HOL/MiniML";
+writeln"Root file for HOL/W0";
Unify.trace_bound := 20;
AddSEs [less_SucE];