Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added IsarAdvanced material
authorhaftmann
Tue, 10 Oct 2006 13:59:12 +0200
changeset 20950 981fa0ce23ed
parent 20949 f030835fd9e4
child 20951 868120282837
added IsarAdvanced material
doc-src/Contents file | annotate | diff | comparison | revisions
doc/Contents file | annotate | diff | comparison | revisions 
--- a/doc-src/Contents	Tue Oct 10 13:50:33 2006 +0200
+++ b/doc-src/Contents	Tue Oct 10 13:59:12 2006 +0200
@@ -1,1 +1,1 @@
-Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar
+Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen
--- a/doc/Contents	Tue Oct 10 13:50:33 2006 +0200
+++ b/doc/Contents	Tue Oct 10 13:59:12 2006 +0200
@@ -2,6 +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
   axclass         Tutorial on Axiomatic Type Classes
   sugar           LaTeX sugar for proof documents
   ind-defs        (Co)Inductive Definitions in ZF
isabelle