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.