--- a/doc-src/Tutorial/Datatype/tconstssubst Mon Nov 29 11:12:19 2004 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,3 +0,0 @@
-consts
- subst :: ('a => ('a,'b)term) => ('a,'b)term => ('a,'b)term
- substs :: ('a => ('a,'b)term) => ('a,'b)term list => ('a,'b)term list