src/FOL/FOL.thy

--- 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