# HG changeset patch
# User paulson
# Date 905441450 -7200
# Node ID 6376d5cbb6acd543d5de3e168a9ef4f4bfdc0f9c
# Parent  0c4e3d024ec9678cba5988ff59472f8c46cd04e8
new entries

diff -r 0c4e3d024ec9 -r 6376d5cbb6ac src/HOL/UNITY/README.html
--- 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