# HG changeset patch
# User paulson
# Date 906127675 -7200
# Node ID 7f52fb755581c904667fd51abb6e9ae9d5f33fdd
# Parent  ad120f7c52ad009b06e0a8a5f79fa5b0c56ec4a7
leaves subgoal package empty

diff -r ad120f7c52ad -r 7f52fb755581 src/ZF/ROOT.ML
--- 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*)