src/ZF/ROOT.ML

--- a/src/ZF/ROOT.ML	Sat Jul 21 17:40:40 2007 +0200
+++ b/src/ZF/ROOT.ML	Sat Jul 21 23:25:00 2007 +0200
@@ -12,5 +12,3 @@
 writeln banner;
 
 use_thy "Main_ZFC";
-
-Goal "True";  (*leave subgoal package empty*)