--- a/patches	Tue Apr 23 20:46:06 1996 +0200
+++ b/patches	Fri May 03 17:45:58 1996 +0200
@@ -350,7 +350,9 @@
 		  GraphicsAttributes
 
 		  ActorStream TokenizedStream
-		  RecursionLock Promise LockedFileStream
+		  RecursionLock Monitor Promise LockedFileStream
+
+		  BooleanArray 
 
 		  JISEncodedString GBEncodedString BIG5EncodedString