equal
deleted
inserted
replaced
249 |
249 |
250 (* sets *) |
250 (* sets *) |
251 empty_eqvt UNIV_eqvt union_eqvt inter_eqvt mem_eqvt |
251 empty_eqvt UNIV_eqvt union_eqvt inter_eqvt mem_eqvt |
252 Diff_eqvt Compl_eqvt insert_eqvt Collect_eqvt image_eqvt |
252 Diff_eqvt Compl_eqvt insert_eqvt Collect_eqvt image_eqvt |
253 |
253 |
254 atom_eqvt |
254 atom_eqvt add_perm_eqvt |
255 |
255 |
256 thm eqvts |
256 thm eqvts |
257 thm eqvts_raw |
257 thm eqvts_raw |
258 |
258 |
259 text {* helper lemmas for the eqvt_tac *} |
259 text {* helper lemmas for the eqvt_tac *} |