scale-preserves-domain
update-preserves-disjoint-converse
Added scale/1
fresh-update2-preserves-leq-converse
join-commutes-lookup
Remove emacs backups
domain-commute-fresh-update-converse
fresh-add-preserves-restrict-converse
restrict-not-member-implies-fresh
restrict-preserves-lookup-converse has additional output
disjoint-union-implies-remove
not-member-add2-preserves-leq-converse