src/HOL/ROOT.ML
changeset 5501 a63e0c326e6c
parent 5425 157c6663dedd
child 5560 c17471a9c99c
     1.1 --- a/src/HOL/ROOT.ML	Fri Sep 18 14:39:08 1998 +0200
     1.2 +++ b/src/HOL/ROOT.ML	Fri Sep 18 14:39:51 1998 +0200
     1.3 @@ -64,6 +64,8 @@
     1.4  cd "$ISABELLE_HOME/src/HOL";
     1.5  
     1.6  cd "Integ";
     1.7 +use_thy "IntDef";
     1.8 +use     "simproc";
     1.9  use_thy "Bin";
    1.10  cd "..";
    1.11  
    1.12 @@ -72,4 +74,6 @@
    1.13  
    1.14  print_depth 8;
    1.15  
    1.16 +Goal "True";  (*leave subgoal package empty*)
    1.17 +
    1.18  val HOL_build_completed = ();   (*indicate successful build*)