--- a/src/FOLP/ex/cla.ML Tue Jan 30 15:12:53 1996 +0100
+++ b/src/FOLP/ex/cla.ML Tue Jan 30 15:19:20 1996 +0100
@@ -6,7 +6,7 @@
Classical First-Order Logic
*)
-writeln"File FOL/ex/cla.";
+writeln"File FOLP/ex/cla.ML";
open Cla; (*in case structure Int is open!*)