new entries

--- a/src/HOL/UNITY/README.html	Thu Sep 10 17:30:24 1998 +0200
+++ b/src/HOL/UNITY/README.html	Thu Sep 10 17:30:50 1998 +0200
@@ -30,6 +30,10 @@
 
 <LI>the communication network
 
+<LI>the lift controller (a standard benchmark)
+
+<LI>a mutual exclusion algorithm
+
 <LI><EM>n</EM>-process deadlock
 
 <LI>unordered channel