src/HOL/UNITY/UNITY.thy

--- a/src/HOL/UNITY/UNITY.thy	Wed May 24 18:19:04 2000 +0200
+++ b/src/HOL/UNITY/UNITY.thy	Wed May 24 18:40:01 2000 +0200
@@ -8,8 +8,7 @@
 From Misra, "A Logic for Concurrent Programming", 1994
 *)
 
-UNITY = LessThan + ListOrder +
-
+UNITY = Main + 
 
 typedef (Program)
   'a program = "{(init:: 'a set, acts :: ('a * 'a)set set). Id:acts}"