changeset 60694 | b3fa4a8cdb5f |
parent 60624 | 5b6552e12421 |
child 60749 | f727b99faaf7 |
--- a/src/Pure/Pure.thy Wed Jul 08 14:30:00 2015 +0200 +++ b/src/Pure/Pure.thy Wed Jul 08 15:37:32 2015 +0200 @@ -62,7 +62,7 @@ and "case" :: prf_asm % "proof" and "{" :: prf_open % "proof" and "}" :: prf_close % "proof" - and "next" :: prf_block % "proof" + and "next" :: next_block % "proof" and "qed" :: qed_block % "proof" and "by" ".." "." "sorry" :: "qed" % "proof" and "done" :: "qed_script" % "proof"