--- a/doc-src/TutorialI/Rules/Basic.thy Thu Oct 26 10:27:04 2000 +0200
+++ b/doc-src/TutorialI/Rules/Basic.thy Thu Oct 26 11:27:48 2000 +0200
@@ -1,3 +1,4 @@
+(* ID: $Id$ *)
theory Basic = Main:
lemma conj_rule: "\<lbrakk> P; Q \<rbrakk> \<Longrightarrow> P \<and> (Q \<and> P)"