src/ZF/List.ML

--- a/src/ZF/List.ML	Fri Oct 22 11:25:15 1993 +0100
+++ b/src/ZF/List.ML	Fri Oct 22 11:34:41 1993 +0100
@@ -18,7 +18,7 @@
       ["Nil : list(A)",
        "[| a: A;  l: list(A) |] ==> Cons(a,l) : list(A)"];
   val monos = [];
-  val type_intrs = data_typechecks
+  val type_intrs = datatype_intrs
   val type_elims = []);
 
 val [NilI, ConsI] = List.intrs;