src/HOL/Datatype.ML
2000-06-22 wenzelm 2000-06-22 bind_thm(s);
1999-08-19 berghofe 1999-08-19 Moved sum_case stuff from Sum to Datatype.