--- a/src/HOL/UNITY/LessThan.thy Fri Jul 31 18:46:28 1998 +0200 +++ b/src/HOL/UNITY/LessThan.thy Fri Jul 31 18:46:55 1998 +0200 @@ -6,7 +6,7 @@ lessThan, greaterThan, atLeast, atMost *) -LessThan = List + +LessThan = Main + constdefs