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