doc/Contents
changeset 13843 6b5a1dfe8cfc
parent 9244 7edd3e5f26d4
child 14001 212271f61915
     1.1 --- a/doc/Contents	Sat Mar 01 16:59:41 2003 +0100
     1.2 +++ b/doc/Contents	Sat Mar 01 19:19:47 2003 +0100
     1.3 @@ -1,4 +1,5 @@
     1.4  tutorial	Tutorial on Isabelle/HOL
     1.5 +exercises	Exercises for Isabelle/HOL
     1.6  axclass		Tutorial on Axiomatic Type Classes
     1.7  isar-ref	The Isabelle/Isar Reference Manual
     1.8  ref		The Isabelle Reference Manual