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.
removed declaration of disjI1, disjI2 (already done in IFOL);
authorwenzelm
Wed, 05 Dec 2001 02:59:49 +0100
changeset 12367 1cee8a0db392
parent 12366 f0fd3c4f2f49
child 12368 2af9ad81ea56
removed declaration of disjI1, disjI2 (already done in IFOL);
src/FOL/FOL.thy file | annotate | diff | comparison | revisions 
--- a/src/FOL/FOL.thy	Wed Dec 05 02:59:15 2001 +0100
+++ b/src/FOL/FOL.thy	Wed Dec 05 02:59:49 2001 +0100
@@ -26,8 +26,6 @@
 setup Cla.setup
 setup clasetup
 
-declare disjI1 [elim?]  disjI2 [elim?]
-
 use "blastdata.ML"
 setup Blast.setup
 use "FOL_lemmas2.ML"
isabelle