equal
deleted
inserted
replaced
86 - Added lemmas. |
86 - Added lemmas. |
87 Multiset.bex_greatest_element |
87 Multiset.bex_greatest_element |
88 Multiset.bex_least_element |
88 Multiset.bex_least_element |
89 filter_mset_cong |
89 filter_mset_cong |
90 filter_mset_cong0 |
90 filter_mset_cong0 |
|
91 image_mset_eq_image_mset_plusD |
|
92 image_mset_eq_plusD |
|
93 image_mset_eq_plus_image_msetD |
91 image_mset_filter_mset_swap |
94 image_mset_filter_mset_swap |
|
95 multp_image_mset_image_msetD |
92 |
96 |
93 * Sledgehammer: |
97 * Sledgehammer: |
94 - Redesigned multithreading to provide more fine grained prover schedules. |
98 - Redesigned multithreading to provide more fine grained prover schedules. |
95 The binary option 'slice' has been replaced by a numeric value 'slices' |
99 The binary option 'slice' has been replaced by a numeric value 'slices' |
96 indicating the number of desired slices. Stronger provers can now be run by |
100 indicating the number of desired slices. Stronger provers can now be run by |