doc/Contents
changeset 15375 aea34cbc97dd
parent 15291 dd4648ae6eff
child 18555 5f216b70215f
     1.1 --- a/doc/Contents	Mon Dec 06 01:07:57 2004 +0100
     1.2 +++ b/doc/Contents	Mon Dec 06 07:18:24 2004 +0100
     1.3 @@ -14,5 +14,6 @@
     1.4    logics-ZF     Isabelle's Logics: FOL and ZF
     1.5  
     1.6  Specific Topics
     1.7 +  sugar         LaTeX sugar for proof documents
     1.8    axclass       Tutorial on Axiomatic Type Classes
     1.9    ind-defs      (Co)Inductive Definitions in ZF