doc/Contents
changeset 14001 212271f61915
parent 13843 6b5a1dfe8cfc
child 14491 df007bdff9bf
     1.1 --- a/doc/Contents	Mon May 12 11:34:49 2003 +0200
     1.2 +++ b/doc/Contents	Mon May 12 11:54:29 2003 +0200
     1.3 @@ -1,4 +1,5 @@
     1.4  tutorial	Tutorial on Isabelle/HOL
     1.5 +isar-overview	Tutorial on Isar
     1.6  exercises	Exercises for Isabelle/HOL
     1.7  axclass		Tutorial on Axiomatic Type Classes
     1.8  isar-ref	The Isabelle/Isar Reference Manual