src/HOL/Tools/Datatype/datatype_case.ML
2009-09-23 bulwahn 2009-09-23 adapted configuration for DatatypeCase.make_case
2009-07-17 wenzelm 2009-07-17 tuned/modernized Envir.subst_XXX;
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories