# HG changeset patch
# User wenzelm
# Date 1004734867 -3600
# Node ID abe9b7c6016e5957af74b3ed3a69f3a48abe55f7
# Parent  ec054019c9101db1466bbb85c22c9a035d926ebd
transitive declared in Pure;

diff -r ec054019c910 -r abe9b7c6016e src/FOL/IFOL.thy
--- 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