doc/Contents
changeset 22736 4948e2bd67e5
parent 21868 54293c8ea022
child 25244 42071ca3a14c
     1.1 --- a/doc/Contents	Fri Apr 20 11:21:33 2007 +0200
     1.2 +++ b/doc/Contents	Fri Apr 20 11:21:34 2007 +0200
     1.3 @@ -2,6 +2,7 @@
     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 Type Classes
     1.8    functions       Tutorial on Function Definitions
     1.9    codegen         Tutorial on Code Generation
    1.10    axclass         Tutorial on Axiomatic Type Classes