--- a/src/ZF/AC/AC1_WO2.ML Tue Jul 25 17:03:59 1995 +0200
+++ b/src/ZF/AC/AC1_WO2.ML Tue Jul 25 17:31:53 1995 +0200
@@ -20,4 +20,4 @@
by (resolve_tac [allI] 1);
by (eres_inst_tac [("x","Pow(A)-{0}")] allE 1);
by (fast_tac (AC_cs addSDs [lemma1] addSIs [Ord_Least]) 1);
-result();
+qed "AC1_WO2";