added functions tutorial
authorhaftmann
Mon Dec 18 08:21:24 2006 +0100 (2006-12-18)
changeset 2186854293c8ea022
parent 21867 8750fbc28d5c
child 21869 c5e79547bf54
added functions tutorial
doc/Contents
     1.1 --- a/doc/Contents	Sun Dec 17 22:43:50 2006 +0100
     1.2 +++ b/doc/Contents	Mon Dec 18 08:21:24 2006 +0100
     1.3 @@ -2,8 +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 +  functions       Tutorial on Function Definitions
    1.10 +  codegen         Tutorial on Code Generation
    1.11    axclass         Tutorial on Axiomatic Type Classes
    1.12    sugar           LaTeX sugar for proof documents
    1.13    ind-defs        (Co)Inductive Definitions in ZF