Revision history for containers-verified 0.6.0.1 -- 2018-06-18 Now also verified: Set.map and Set.fromList (#1) Update proofs to containers-0.6.0.1 0.5.11.0 -- 2018-03-15 First version.