changeset 21868 | 54293c8ea022 |
parent 20950 | 981fa0ce23ed |
child 22736 | 4948e2bd67e5 |
--- a/doc/Contents Sun Dec 17 22:43:50 2006 +0100 +++ b/doc/Contents Mon Dec 18 08:21:24 2006 +0100 @@ -2,8 +2,8 @@ tutorial Tutorial on Isabelle/HOL isar-overview Tutorial on Isar locales Tutorial on Locales - classes Tutorial on Haskell-style type classes - codegen Tutorial on code generation + functions Tutorial on Function Definitions + codegen Tutorial on Code Generation axclass Tutorial on Axiomatic Type Classes sugar LaTeX sugar for proof documents ind-defs (Co)Inductive Definitions in ZF