| Thu, 04 Mar 2010 21:10:25 +0100 | wenzelm | renamed type_has_empty_sort to type_has_topsort -- {} is the full universal sort; | changeset | files |
| Thu, 04 Mar 2010 21:02:21 +0100 | wenzelm | point to http://hginit.com/ | changeset | files |
| Thu, 04 Mar 2010 17:08:41 +0000 | paulson | Simplified a couple of proofs and corrected a comment | changeset | files |
| Thu, 04 Mar 2010 11:22:06 +0100 | haftmann | lemmas set_map_of_compr, map_of_inject_set | changeset | files |