# HG changeset patch # User kleing # Date 1080548255 -7200 # Node ID 216179c782a63f81f55c123484ecbe9e537f7cf8 # Parent a340f6e6f48189f40b58576589920af6646747ce include exercises again diff -r a340f6e6f481 -r 216179c782a6 doc/Contents --- 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