Mon, 12 Jul 2010 18:59:38 +0200 | wenzelm | some modernization of really ancient Meson experiments; | changeset | files |
Mon, 12 Jul 2010 16:40:48 +0200 | haftmann | dropped empty theory | changeset | files |
Mon, 12 Jul 2010 16:38:20 +0200 | haftmann | moved auxiliary lemma | changeset | files |
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 |
Mon, 12 Jul 2010 16:05:08 +0200 | haftmann | spelt out relational framework in a consistent way | changeset | files |