# HG changeset patch
# User kleing
# Date 1102313904 -3600
# Node ID aea34cbc97dd88d57a5f87b5f384c6d93c6825b1
# Parent  3849153b850e9fc174fa6c87ea9c47a8c9a78a92
add latex sugar

diff -r 3849153b850e -r aea34cbc97dd doc/Contents
--- 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