equal
deleted
inserted
replaced
70 'rep_datatype' has been renamed 'old_rep_datatype'. See |
70 'rep_datatype' has been renamed 'old_rep_datatype'. See |
71 'isabelle doc datatypes' for information on porting. |
71 'isabelle doc datatypes' for information on porting. |
72 - Renamed theorems: |
72 - Renamed theorems: |
73 weak_case_cong ~> case_cong_weak |
73 weak_case_cong ~> case_cong_weak |
74 INCOMPATIBILITY. |
74 INCOMPATIBILITY. |
|
75 |
|
76 * Product over lists via constant "listprod". |
75 |
77 |
76 * Sledgehammer: |
78 * Sledgehammer: |
77 - Minimization is now always enabled by default. |
79 - Minimization is now always enabled by default. |
78 Removed subcommand: |
80 Removed subcommand: |
79 min |
81 min |