doc/Contents

   sugar           LaTeX sugar for proof documents
   ind-defs        (Co)Inductive Definitions in ZF
 
 Reference Manuals
   isar-ref        The Isabelle/Isar Reference Manual
-  implementation  The Isabelle/Isar Implementation
+  implementation  The Isabelle/Isar Implementation Manual
   system          The Isabelle System Manual
   ref             The Isabelle Reference Manual
   logics          Isabelle's Logics: overview and misc logics
   logics-HOL      Isabelle's Logics: HOL
   logics-ZF       Isabelle's Logics: FOL and ZF