changeset 56858 | 0c3d0bc98abe |
parent 56375 | 32e0da92c786 |
child 57983 | 6edc3529bb4e |
--- a/src/HOL/Tools/Datatype/datatype_data.ML Mon May 05 08:30:38 2014 +0200 +++ b/src/HOL/Tools/Datatype/datatype_data.ML Mon May 05 09:30:20 2014 +0200 @@ -109,8 +109,10 @@ weak_case_cong = weak_case_cong, split = split, split_asm = split_asm, + disc_defs = [], disc_thmss = [], discIs = [], + sel_defs = [], sel_thmss = [], disc_excludesss = [], disc_exhausts = [],