diff -r d78de58fe368 -r 3b53ed2c846f src/HOL/Calculation.thy
--- a/src/HOL/Calculation.thy	Mon Oct 23 22:11:24 2000 +0200
+++ b/src/HOL/Calculation.thy	Mon Oct 23 22:11:43 2000 +0200
@@ -153,7 +153,7 @@
   Note that this list of rules is in reverse order of priorities.
 *}
 
-lemmas trans_rules [trans] =
+lemmas basic_trans_rules [trans] =
   order_less_subst2
   order_less_subst1
   order_le_less_subst2