--- a/src/FOL/FOL.thy Sun Feb 11 16:31:21 2001 +0100 +++ b/src/FOL/FOL.thy Sun Feb 11 16:31:54 2001 +0100 @@ -88,8 +88,8 @@ back_subst rev_mp mp + transitive trans - transitive lemmas [elim?] = sym