src/HOL/ROOT.ML
changeset 5501 a63e0c326e6c
parent 5425 157c6663dedd
child 5560 c17471a9c99c
--- a/src/HOL/ROOT.ML	Fri Sep 18 14:39:08 1998 +0200
+++ b/src/HOL/ROOT.ML	Fri Sep 18 14:39:51 1998 +0200
@@ -64,6 +64,8 @@
 cd "$ISABELLE_HOME/src/HOL";
 
 cd "Integ";
+use_thy "IntDef";
+use     "simproc";
 use_thy "Bin";
 cd "..";
 
@@ -72,4 +74,6 @@
 
 print_depth 8;
 
+Goal "True";  (*leave subgoal package empty*)
+
 val HOL_build_completed = ();   (*indicate successful build*)