src/HOL/Tools/Datatype/datatype.ML
2009-06-23 haftmann 2009-06-23 add_datatypes does not yield particular rules any longer
2009-06-23 haftmann 2009-06-23 add_datatype interface yields type names and less rules
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories