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.
transitive declared in Pure;
authorwenzelm
Fri, 02 Nov 2001 22:01:07 +0100
changeset 12019 abe9b7c6016e
parent 12018 ec054019c910
child 12020 a24373086908
transitive declared in Pure;
src/FOL/IFOL.thy file | annotate | diff | comparison | revisions 
--- a/src/FOL/IFOL.thy	Fri Nov 02 17:55:24 2001 +0100
+++ b/src/FOL/IFOL.thy	Fri Nov 02 22:01:07 2001 +0100
@@ -188,12 +188,11 @@
   Note that this list of rules is in reverse order of priorities.
 *}
 
-lemmas trans_rules [trans] =
+lemmas basic_trans_rules [trans] =
   forw_subst
   back_subst
   rev_mp
   mp
-  transitive
   trans
 
 lemmas [Pure.elim] = sym
isabelle