--- a/doc/Contents Mon Dec 06 01:07:57 2004 +0100
+++ b/doc/Contents Mon Dec 06 07:18:24 2004 +0100
@@ -14,5 +14,6 @@
logics-ZF Isabelle's Logics: FOL and ZF
Specific Topics
+ sugar LaTeX sugar for proof documents
axclass Tutorial on Axiomatic Type Classes
ind-defs (Co)Inductive Definitions in ZF