--- a/doc-src/TutorialI/Rules/Blast.thy Thu Oct 26 10:27:04 2000 +0200
+++ b/doc-src/TutorialI/Rules/Blast.thy Thu Oct 26 11:27:48 2000 +0200
@@ -1,3 +1,4 @@
+(* ID: $Id$ *)
theory Blast = Main:
lemma "((\<exists>x. \<forall>y. p(x)=p(y)) = ((\<exists>x. q(x))=(\<forall>y. p(y)))) =