src/ZF/AC/AC1_AC17.ML

--- a/src/ZF/AC/AC1_AC17.ML	Mon Nov 03 12:22:43 1997 +0100
+++ b/src/ZF/AC/AC1_AC17.ML	Mon Nov 03 12:24:13 1997 +0100
@@ -21,5 +21,5 @@
 by (rtac bexI 1);
 by (etac lemma1 2);
 by (rtac apply_type 1 THEN (assume_tac 1));
-by (fast_tac (!claset addSDs [lemma1] addSEs [apply_type]) 1);
+by (fast_tac (claset() addSDs [lemma1] addSEs [apply_type]) 1);
 qed "AC1_AC17";