added IsarAdvanced material
authorhaftmann
Tue Oct 10 13:59:12 2006 +0200 (2006-10-10)
changeset 20950981fa0ce23ed
parent 20949 f030835fd9e4
child 20951 868120282837
added IsarAdvanced material
doc-src/Contents
doc/Contents
     1.1 --- a/doc-src/Contents	Tue Oct 10 13:50:33 2006 +0200
     1.2 +++ b/doc-src/Contents	Tue Oct 10 13:59:12 2006 +0200
     1.3 @@ -1,1 +1,1 @@
     1.4 -Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar
     1.5 +Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen
     2.1 --- a/doc/Contents	Tue Oct 10 13:50:33 2006 +0200
     2.2 +++ b/doc/Contents	Tue Oct 10 13:59:12 2006 +0200
     2.3 @@ -2,6 +2,8 @@
     2.4    tutorial        Tutorial on Isabelle/HOL
     2.5    isar-overview   Tutorial on Isar
     2.6    locales         Tutorial on Locales
     2.7 +  classes         Tutorial on Haskell-style type classes
     2.8 +  codegen         Tutorial on code generation
     2.9    axclass         Tutorial on Axiomatic Type Classes
    2.10    sugar           LaTeX sugar for proof documents
    2.11    ind-defs        (Co)Inductive Definitions in ZF