| Mon, 17 May 2004 11:02:16 +0200 | mehta | lemma disjoint_int_union removed - too special | changeset | files |
| Fri, 14 May 2004 19:29:22 +0200 | ballarin | Change of theory hierarchy: Group is now based in Lattice. | changeset | files |
| Fri, 14 May 2004 16:54:13 +0200 | paulson | tidied | changeset | files |
| Fri, 14 May 2004 16:53:15 +0200 | paulson | new atomize theorem | changeset | files |
| Fri, 14 May 2004 16:52:53 +0200 | paulson | removed a premise of card_inj_on_le | changeset | files |
| Fri, 14 May 2004 16:50:33 +0200 | paulson | removal of locale coset | changeset | files |
| Fri, 14 May 2004 16:50:13 +0200 | paulson | deleted redundant proof lines | changeset | files |