doc/Contents
changeset 25248 cc5cf5f1178b
parent 25244 42071ca3a14c
child 29747 bab2371e0348
child 30240 5b25fee0362c
     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