doc/Contents
changeset 20950 981fa0ce23ed
parent 20831 4981b56f8cde
child 21868 54293c8ea022
     1.1 --- a/doc/Contents	Tue Oct 10 13:50:33 2006 +0200
     1.2 +++ b/doc/Contents	Tue Oct 10 13:59:12 2006 +0200
     1.3 @@ -2,6 +2,8 @@
     1.4    tutorial        Tutorial on Isabelle/HOL
     1.5    isar-overview   Tutorial on Isar
     1.6    locales         Tutorial on Locales
     1.7 +  classes         Tutorial on Haskell-style type classes
     1.8 +  codegen         Tutorial on code generation
     1.9    axclass         Tutorial on Axiomatic Type Classes
    1.10    sugar           LaTeX sugar for proof documents
    1.11    ind-defs        (Co)Inductive Definitions in ZF