src/HOL/README.html
changeset 33026 8f35633c4922
parent 31795 be3e1cc5005c
child 33028 9aa8bfb1649d
     1.1 --- a/src/HOL/README.html	Tue Oct 20 19:36:52 2009 +0200
     1.2 +++ b/src/HOL/README.html	Tue Oct 20 19:37:09 2009 +0200
     1.3 @@ -60,7 +60,7 @@
     1.4  <dt>IOA
     1.5  <dd>a simple theory of Input/Output Automata
     1.6  
     1.7 -<dt>Isar_examples
     1.8 +<dt>Isar_Examples
     1.9  <dd>several introductory examples using Isabelle/Isar
    1.10  
    1.11  <dt>Lambda