Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
intro (no +);
authorwenzelm
Fri, 20 Aug 1999 15:42:46 +0200
changeset 7306 cd0533d52e55
parent 7305 dad3b686941c
child 7307 c065073cdb34
intro (no +);
src/HOL/Isar_examples/BasicLogic.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Isar_examples/BasicLogic.thy	Fri Aug 20 15:42:20 1999 +0200
+++ b/src/HOL/Isar_examples/BasicLogic.thy	Fri Aug 20 15:42:46 1999 +0200
@@ -27,7 +27,7 @@
 qed;
 
 lemma K': "A --> B --> A";
-proof intro+;
+proof intro;
   assume A;
   show A; .;
 qed;
isabelle