proper order of order_less_asym';

--- a/src/HOL/Calculation.thy	Thu Apr 12 13:40:15 2001 +0200
+++ b/src/HOL/Calculation.thy	Thu Apr 12 18:05:41 2001 +0200
@@ -175,8 +175,8 @@
   set_mp
   order_neq_le_trans
   order_le_neq_trans
+  order_less_trans
   order_less_asym'
-  order_less_trans
   order_le_less_trans
   order_less_le_trans
   order_trans