--- 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*)