doc/Contents
changeset 15375 aea34cbc97dd
parent 15291 dd4648ae6eff
child 18555 5f216b70215f
equal deleted inserted replaced
15374:3849153b850e 15375:aea34cbc97dd
    12   logics        Isabelle's Logics: overview and misc logics
    12   logics        Isabelle's Logics: overview and misc logics
    13   logics-HOL    Isabelle's Logics: HOL
    13   logics-HOL    Isabelle's Logics: HOL
    14   logics-ZF     Isabelle's Logics: FOL and ZF
    14   logics-ZF     Isabelle's Logics: FOL and ZF
    15 
    15 
    16 Specific Topics
    16 Specific Topics
       
    17   sugar         LaTeX sugar for proof documents
    17   axclass       Tutorial on Axiomatic Type Classes
    18   axclass       Tutorial on Axiomatic Type Classes
    18   ind-defs      (Co)Inductive Definitions in ZF
    19   ind-defs      (Co)Inductive Definitions in ZF