equal
deleted
inserted
replaced
246 (* nominal *) |
246 (* nominal *) |
247 supp_eqvt fresh_eqvt |
247 supp_eqvt fresh_eqvt |
248 |
248 |
249 (* datatypes *) |
249 (* datatypes *) |
250 permute_prod.simps append_eqvt rev_eqvt set_eqvt |
250 permute_prod.simps append_eqvt rev_eqvt set_eqvt |
251 fst_eqvt snd_eqvt Pair_eqvt |
251 fst_eqvt snd_eqvt Pair_eqvt permute_list.simps |
252 |
252 |
253 (* sets *) |
253 (* sets *) |
254 empty_eqvt UNIV_eqvt union_eqvt inter_eqvt mem_eqvt |
254 empty_eqvt UNIV_eqvt union_eqvt inter_eqvt mem_eqvt |
255 Diff_eqvt Compl_eqvt insert_eqvt Collect_eqvt image_eqvt |
255 Diff_eqvt Compl_eqvt insert_eqvt Collect_eqvt image_eqvt |
256 |
256 |