1.1 --- a/doc/Contents	Wed Oct 31 10:10:50 2007 +0100
     1.2 +++ b/doc/Contents	Wed Oct 31 10:37:14 2007 +0100
     1.3 @@ -5,7 +5,6 @@
     1.4    classes         Tutorial on Type Classes
     1.5    functions       Tutorial on Function Definitions
     1.6    codegen         Tutorial on Code Generation
     1.7 -  axclass         Tutorial on Axiomatic Type Classes
     1.8    sugar           LaTeX sugar for proof documents
     1.9    ind-defs        (Co)Inductive Definitions in ZF
    1.10