src/HOL/UNITY/README.html
changeset 5461 6376d5cbb6ac
parent 4776 1f9362e769c1
child 5679 916c75592bf6
     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