src/Pure/Isar/specification.ML

--- a/src/Pure/Isar/specification.ML	Wed Mar 21 17:16:39 2012 +0100
+++ b/src/Pure/Isar/specification.ML	Wed Mar 21 17:25:35 2012 +0100
@@ -381,7 +381,7 @@
 fun gen_theorem schematic prep_att prep_stmt
     kind before_qed after_qed (name, raw_atts) raw_elems raw_concl int lthy =
   let
-    val _ = Local_Theory.affirm lthy;
+    val _ = Local_Theory.assert lthy;
     val thy = Proof_Context.theory_of lthy;
 
     val attrib = prep_att thy;