equal
deleted
inserted
replaced
107 case_thms = case_rewrites, |
107 case_thms = case_rewrites, |
108 case_cong = case_cong, |
108 case_cong = case_cong, |
109 weak_case_cong = weak_case_cong, |
109 weak_case_cong = weak_case_cong, |
110 split = split, |
110 split = split, |
111 split_asm = split_asm, |
111 split_asm = split_asm, |
|
112 disc_defs = [], |
112 disc_thmss = [], |
113 disc_thmss = [], |
113 discIs = [], |
114 discIs = [], |
|
115 sel_defs = [], |
114 sel_thmss = [], |
116 sel_thmss = [], |
115 disc_excludesss = [], |
117 disc_excludesss = [], |
116 disc_exhausts = [], |
118 disc_exhausts = [], |
117 sel_exhausts = [], |
119 sel_exhausts = [], |
118 collapses = [], |
120 collapses = [], |