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