src/ZF/UNITY/AllocBase.thy

--- a/src/ZF/UNITY/AllocBase.thy	Thu May 29 17:10:00 2003 +0200
+++ b/src/ZF/UNITY/AllocBase.thy	Fri May 30 11:44:29 2003 +0200
@@ -6,7 +6,7 @@
 Common declarations for Chandy and Charpentier's Allocator
 *)
 
-AllocBase = Follows + MultisetSum + Guar + New +
+AllocBase = Follows + MultisetSum + Guar +
 
 consts
   tokbag   :: i  (* tokbags could be multisets...or any ordered type?*)