leaves subgoal package empty
authorpaulson
Fri Sep 18 16:07:55 1998 +0200 (1998-09-18)
changeset 55117f52fb755581
parent 5510 ad120f7c52ad
child 5512 4327eec06849
leaves subgoal package empty
src/ZF/ROOT.ML
     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*)