src/HOL/README.html
changeset 3125 3f0ab2c306f7
parent 2080 12eed4cec935
child 3279 815ef5848324
     1.1 --- a/src/HOL/README.html	Wed May 07 13:50:52 1997 +0200
     1.2 +++ b/src/HOL/README.html	Wed May 07 13:51:22 1997 +0200
     1.3 @@ -31,11 +31,14 @@
     1.4  <DT>IMP
     1.5  <DD>mechanization of a large part of a semantics text by Glynn Winskel
     1.6  
     1.7 +<DT>Induct
     1.8 +<DD>examples of (co)inductive definitions
     1.9 +
    1.10  <DT>Integ
    1.11  <DD>a theory of the integers including efficient integer calculations
    1.12  
    1.13  <DT>IOA
    1.14 -<DD>extended example of Input/Output Automata (takes a long time to run!)
    1.15 +<DD>extended example of Input/Output Automata
    1.16  
    1.17  <DT>Lambda
    1.18  <DD>a proof of the Church-Rosser theorem for lambda-calculus