--- a/src/HOL/UNITY/Client.thy Tue Jun 08 10:25:12 1999 +0200
+++ b/src/HOL/UNITY/Client.thy Tue Jun 08 10:30:04 1999 +0200
@@ -6,7 +6,7 @@
Distributed Resource Management System: the Client
*)
-Client = Comp + Prefix +
+Client = Comp +
consts
Max :: nat (*Maximum number of tokens*)