changeset 25248 | cc5cf5f1178b |
parent 25244 | 42071ca3a14c |
child 29747 | bab2371e0348 |
child 30240 | 5b25fee0362c |
--- a/doc/Contents Wed Oct 31 10:10:50 2007 +0100 +++ b/doc/Contents Wed Oct 31 10:37:14 2007 +0100 @@ -5,7 +5,6 @@ classes Tutorial on Type Classes functions Tutorial on Function Definitions codegen Tutorial on Code Generation - axclass Tutorial on Axiomatic Type Classes sugar LaTeX sugar for proof documents ind-defs (Co)Inductive Definitions in ZF