src/HOLCF/ROOT.ML
changeset 4008 2444085532c6
parent 3953 473ea5ce5ca8
child 4010 59cac65fb751
--- a/src/HOLCF/ROOT.ML	Mon Oct 27 10:46:36 1997 +0100
+++ b/src/HOLCF/ROOT.ML	Mon Oct 27 11:34:33 1997 +0100
@@ -16,7 +16,6 @@
 
 use_thy "HOLCF";
 
-
 (* sections axioms, ops *)
 
 use "ax_ops/holcflogic.ML";
@@ -24,7 +23,6 @@
 use "ax_ops/thy_ops.ML";
 use "ax_ops/thy_syntax.ML";
 
-
 (* sections domain, generated *)
 
 use "domain/library.ML";
@@ -34,7 +32,6 @@
 use "domain/extender.ML";
 use "domain/interface.ML";
 
-
 print_depth 10;  
 
 val HOLCF_build_completed = (); (*indicate successful build*)