new entries
authorpaulson
Thu Sep 10 17:30:50 1998 +0200 (1998-09-10)
changeset 54616376d5cbb6ac
parent 5460 0c4e3d024ec9
child 5462 7c5b2a8adbf0
new entries
src/HOL/UNITY/README.html
     1.1 --- a/src/HOL/UNITY/README.html	Thu Sep 10 17:30:24 1998 +0200
     1.2 +++ b/src/HOL/UNITY/README.html	Thu Sep 10 17:30:50 1998 +0200
     1.3 @@ -30,6 +30,10 @@
     1.4  
     1.5  <LI>the communication network
     1.6  
     1.7 +<LI>the lift controller (a standard benchmark)
     1.8 +
     1.9 +<LI>a mutual exclusion algorithm
    1.10 +
    1.11  <LI><EM>n</EM>-process deadlock
    1.12  
    1.13  <LI>unordered channel