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