--- a/src/HOLCF/ROOT.ML Thu Oct 30 11:43:32 1997 +0100
+++ b/src/HOLCF/ROOT.ML Thu Oct 30 14:17:33 1997 +0100
@@ -15,7 +15,6 @@
use_thy "HOLCF";
(* sections axioms, ops *)
-
use "ax_ops/holcflogic.ML";
use "ax_ops/thy_axioms.ML";
use "ax_ops/thy_ops.ML";