Starting with inventory:
0000018360-fb89e58b5232d4d99f9200d997e621e704b09f71a9b4f5d45382df50cef1e70d
[TAG 0.5
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20110220174322
 Ignore-this: a1764929c4ac99fd89d977760b2815d5
] 
hash: 0000012819-bddca1769e6b94ce02219e2ce5cbdc7de2e1757502bbed9425850da6e1ec0e07
[Removed release-specific information.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20110220174348
 Ignore-this: e9896e46d4e46d4d1b08d7abb34fd7ec
] 
hash: 0000000613-b8b4b30682a70da3ba81ebd78a0c445cfd69caba96864f8fe5f02be4af845df8
[Fixed a comment.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20110310115657
 Ignore-this: 106bb77d1e1bf6f7b04f9084032aa2d6
] 
hash: 0000000331-5bbcf639397f86097ca83dd6bebf8ec474dd00ab56ce44072e8a004e0241e70c
[Moved the Isomorphism universe to a new module, renamed it to Related.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20110311095829
 Ignore-this: b2a31c6851076cc5c2f990eb541a6e89
] 
hash: 0000020975-a3edd277b154512647fb51d299da4d38bfa378be25d82e40e1051666f623eb39
[Removed outdated comment.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20110311144420
 Ignore-this: 3e204d5b95d7fbe5cf65c26784610b6f
] 
hash: 0000000419-927d4776fe1935ac50a8dc09a0e4e2199feaddf6869b045d144f47ec17dc6b30
[Added ∷↔ and ∷-cong.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20110312135545
 Ignore-this: aacf4a2123fcf6acd7a926a062ac0d16
] 
hash: 0000001181-cdc553051bf791d0daa2585b3cddd44c78bc4a8e61b68dd268f258cf58a6ce8d
[Added six new members to the Related universe.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20110312235545
 Ignore-this: 8decd734f249ee6992e2ecfa32c75f71
 + Adapted related code and added a number of congruence lemmas.
 + Added the synonym _≈[_]_.
 + Added the wrapper types _←_ and _↢_.
 + Added _op and reverse.
 + Added some "subuniverses": Symmetric-kind, Forward-kind,
   Backward-kind and Equivalence-kind.
 + Added code for preorders, in addition to existing code for
   setoids.
 + Added the synonyms subset, superset, subbag and superbag in
   Data.List.Any and Data.Container.
 + Added Function.Injection._↣_ and Function.LeftInverse._↞_.
 + Added Function.Surjection.fromRightInverse.
 + Removed Function.Inverse.setoid.
 + Renamed Function.Equivalence.Equivalent to Equivalence,
   Function.Inverse._⇿_ to _↔_ and Data.Fin.Subset.∪⇿⊎ to ∪⇔⊎.
] 
hash: 0000123192-a707889d8283c395e994ebd5fa96e81000ddcaa5324f4de714a5d2a2bea05828
[Simplified the implementation of drop-cons.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20110318162434
 Ignore-this: 5937df1fa3e113823bf907fd69c5eac5
] 
hash: 0000008444-967a0075f3ef8151bf6a0121db85f29322ee1a7d6e31c6ef495a8dc735950174
[Added an encoding of record types with manifest fields and "with".
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20110328142717
 Ignore-this: fbed1d9d33485b031ee44975ef775b85
] 
hash: 0000010754-6fd93bcd3c5a322ed35faf983adbf23d3ae17eae9c4b61af8109164199fb59c5
[Renamed Data.Container._◃_ to _▷_.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20110328163236
 Ignore-this: 7f9df5b1e61e2e4c6b4a4a0367d2e5cb
] 
hash: 0000001485-24d62a171a00988d4b6889c8aaa0e36d6e94552d77c1ad22b0cfd3dd275447f6
[Patched std-lib to work with meta-variable freezing.
andreas.abel@ifi.lmu.de**20110411230625
 Only minor changes like adding some type sigs and omitted arguments.
] 
hash: 0000003596-ed25675815b3ecf10d3ea6ff485938b580bfdb5f83be33a4fe5c714cc1f65041
[Included Andreas Abel in the contributor lists.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20110412091843
 Ignore-this: b4ceeaaf11205c535922280bceeab060
] 
hash: 0000000791-519a434a5f8fd761c41a57177af19a1c50f4a89af06e8cb17cbb48015b614891
[Modified Andreas' changes slightly.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20110412094133
 Ignore-this: cfa931af3dc6d60850a4b1aa3b6cba81
] 
hash: 0000002551-731c57c12f23d4389aba18a82bb7fb0123008d050d0c3673cc80bfbaa9d69d27