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.
added == transitive rule (bad idea??);
authorwenzelm
Mon, 02 Oct 2000 15:13:32 +0200
changeset 10130 5a2e00bf1e42
parent 10129 a62b275ac0f7
child 10131 546686f0a6fb
added == transitive rule (bad idea??);
src/FOL/FOL.thy file | annotate | diff | comparison | revisions
src/HOL/Calculation.thy file | annotate | diff | comparison | revisions 
--- a/src/FOL/FOL.thy	Mon Oct 02 15:12:34 2000 +0200
+++ b/src/FOL/FOL.thy	Mon Oct 02 15:13:32 2000 +0200
@@ -79,6 +79,7 @@
   rev_mp
   mp
   trans
+  transitive
 
 lemmas [elim?] = sym
 
--- a/src/HOL/Calculation.thy	Mon Oct 02 15:12:34 2000 +0200
+++ b/src/HOL/Calculation.thy	Mon Oct 02 15:13:32 2000 +0200
@@ -186,6 +186,7 @@
   ord_less_eq_trans
   ord_eq_less_trans
   trans
+  transitive
 
 lemmas [elim?] = sym
isabelle