doc/Contents
changeset 52792 3e651be14fcd
parent 52552 0260bdba4dd7
child 53769 036e80175bdd
     1.1 --- a/doc/Contents	Tue Jul 30 16:22:39 2013 +0200
     1.2 +++ b/doc/Contents	Tue Jul 30 16:22:39 2013 +0200
     1.3 @@ -3,6 +3,7 @@
     1.4    tutorial        Tutorial on Isabelle/HOL
     1.5    locales         Tutorial on Locales
     1.6    classes         Tutorial on Type Classes
     1.7 +  datatypes       Tutorial on (Co)datatype Definitions
     1.8    functions       Tutorial on Function Definitions
     1.9    codegen         Tutorial on Code Generation
    1.10    nitpick         User's Guide to Nitpick