equal
deleted
inserted
replaced
191 INCOMPATIBILITY. |
191 INCOMPATIBILITY. |
192 |
192 |
193 * The following map functions and relators have been renamed: |
193 * The following map functions and relators have been renamed: |
194 sum_map ~> map_sum |
194 sum_map ~> map_sum |
195 map_pair ~> map_prod |
195 map_pair ~> map_prod |
|
196 prod_rel ~> rel_prod |
196 sum_rel ~> rel_sum |
197 sum_rel ~> rel_sum |
197 set_rel ~> rel_set |
198 set_rel ~> rel_set |
198 filter_rel ~> rel_filter |
199 filter_rel ~> rel_filter |
199 fset_rel ~> rel_fset (in "Library/FSet.thy") |
200 fset_rel ~> rel_fset (in "Library/FSet.thy") |
200 cset_rel ~> rel_cset (in "Library/Countable_Set_Type.thy") |
201 cset_rel ~> rel_cset (in "Library/Countable_Set_Type.thy") |