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