doc/Contents
changeset 7045 d6595926aa10
parent 6583 4ac69ed20120
child 9244 7edd3e5f26d4
     1.1 --- a/doc/Contents	Mon Jul 19 17:03:10 1999 +0200
     1.2 +++ b/doc/Contents	Mon Jul 19 17:07:30 1999 +0200
     1.3 @@ -1,6 +1,7 @@
     1.4  tutorial	Tutorial on Isabelle/HOL
     1.5  intro		Introduction to Isabelle
     1.6  ref		The Isabelle Reference Manual
     1.7 +isar-ref	The Isabelle/Isar Reference Manual
     1.8  system		The Isabelle System Manual
     1.9  logics		Isabelle's Logics: overview and misc logics
    1.10  logics-HOL	Isabelle's Logics: HOL