Mon, 10 May 2010 14:18:41 +0200 | haftmann | tuned theory text; dropped unused lemma | changeset | files |
Mon, 10 May 2010 14:11:50 +0200 | haftmann | one structure is better than three | changeset | files |
Mon, 10 May 2010 13:58:18 +0200 | haftmann | less complex organization of cooper source code | changeset | files |