# HG changeset patch
# User wenzelm
# Date 987091541 -7200
# Node ID caabb021ec0f30b94a6c7d28dd685053efcc49e5
# Parent  71c00cb091d2dbf40e0200c974d5a279cd08935c
proper order of order_less_asym';

diff -r 71c00cb091d2 -r caabb021ec0f src/HOL/Calculation.thy
--- 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