# HG changeset patch
# User haftmann
# Date 1177060894 -7200
# Node ID 4948e2bd67e5a5326cd88d7c102909d966dd7c36
# Parent  cf627add250ae142b5649a947f40a4fa61aec3ce
added class tutorial

diff -r cf627add250a -r 4948e2bd67e5 doc/Contents
--- a/doc/Contents	Fri Apr 20 11:21:33 2007 +0200
+++ b/doc/Contents	Fri Apr 20 11:21:34 2007 +0200
@@ -2,6 +2,7 @@
   tutorial        Tutorial on Isabelle/HOL
   isar-overview   Tutorial on Isar
   locales         Tutorial on Locales
+  classes         Tutorial on Type Classes
   functions       Tutorial on Function Definitions
   codegen         Tutorial on Code Generation
   axclass         Tutorial on Axiomatic Type Classes