changeset 15291 | dd4648ae6eff |
parent 14588 | 29311d81954e |
child 15375 | aea34cbc97dd |
--- a/doc/Contents Wed Nov 17 07:35:14 2004 +0100 +++ b/doc/Contents Wed Nov 17 07:35:50 2004 +0100 @@ -2,7 +2,6 @@ tutorial Tutorial on Isabelle/HOL isar-overview Tutorial on Isar locales Tutorial on Locales - exercises Exercises for Isabelle/HOL Reference Manuals isar-ref The Isabelle/Isar Reference Manual