src/HOL/Datatype.ML
1999-08-19 berghofe 1999-08-19 Moved sum_case stuff from Sum to Datatype.