add latex sugar
authorkleing
Mon Dec 06 07:18:24 2004 +0100 (2004-12-06)
changeset 15375aea34cbc97dd
parent 15374 3849153b850e
child 15376 302ef111b621
add latex sugar
doc/Contents
     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