changeset 14493 | 216179c782a6 |
parent 14491 | df007bdff9bf |
child 14588 | 29311d81954e |
--- a/doc/Contents Mon Mar 29 08:59:58 2004 +0200 +++ b/doc/Contents Mon Mar 29 10:17:35 2004 +0200 @@ -1,6 +1,7 @@ -Tutorials +Learning Isabelle tutorial Tutorial on Isabelle/HOL isar-overview Tutorial on Isar + exercises Exercises for Isabelle/HOL Reference Manuals isar-ref The Isabelle/Isar Reference Manual