src/HOL/Tools/datatype_case.ML
2007-04-24 berghofe 2007-04-24 Parse / print translations for nested case expressions, taken from Konrad Slind's TFL package.