src/ZF/ROOT.ML
changeset 5511 7f52fb755581
parent 4271 3a82492e70c5
child 5529 4a54acae6a15
     1.1 --- a/src/ZF/ROOT.ML	Fri Sep 18 16:05:08 1998 +0200
     1.2 +++ b/src/ZF/ROOT.ML	Fri Sep 18 16:07:55 1998 +0200
     1.3 @@ -43,4 +43,6 @@
     1.4  (*printing functions are inherited from FOL*)
     1.5  print_depth 8;
     1.6  
     1.7 +Goal "True";  (*leave subgoal package empty*)
     1.8 +
     1.9  val ZF_build_completed = ();    (*indicate successful build*)