shortened "auto simp add" to "auto simp"
updated to actual state
regenerated
deleted SetUtils.image_union (existed in library as Set.image_Un; thanks Tobias Nipkow for pointing out)