# HG changeset patch
# User wenzelm
# Date 924093661 -7200
# Node ID 2f79b06e54e854c1257b157c0cee07d1a8d42814
# Parent  965705537d5b306f10e6e823290f25595426f653
tuned comments;

diff -r 965705537d5b -r 2f79b06e54e8 src/HOL/Tools/datatype_package.ML
--- a/src/HOL/Tools/datatype_package.ML	Wed Apr 14 14:40:43 1999 +0200
+++ b/src/HOL/Tools/datatype_package.ML	Wed Apr 14 14:41:01 1999 +0200
@@ -4,11 +4,6 @@
     Copyright   1998  TU Muenchen
 
 Datatype package for Isabelle/HOL.
-
-TODO:
-  - streamline internal interfaces (!??);
-  - methods: induct, exhaust;
-  - infix types (!?!?);
 *)
 
 signature BASIC_DATATYPE_PACKAGE =