changeset 59266 | 776964a0589f |
parent 59058 | a78612c67ec0 |
child 59271 | c448752e8b9d |
--- a/src/HOL/Tools/Old_Datatype/old_datatype_data.ML Mon Jan 05 00:07:01 2015 +0100 +++ b/src/HOL/Tools/Old_Datatype/old_datatype_data.ML Fri Dec 19 11:17:23 2014 +0100 @@ -110,6 +110,7 @@ case_thms = case_rewrites, case_cong = case_cong, case_cong_weak = case_cong_weak, + case_distribs = [], split = split, split_asm = split_asm, disc_defs = [],