Mon, 12 Jul 2010 16:26:48 +0200 | haftmann | dropped unused lemmas of dubious value | changeset | files |
Mon, 12 Jul 2010 16:23:30 +0200 | haftmann | dropped unused lemmas of dubious value | changeset | files |
Mon, 12 Jul 2010 16:19:15 +0200 | haftmann | split off mrec into separate theory | changeset | files |