Tue, 17 Aug 2010 15:13:16 +0200 | haftmann | eliminated typecopy interpretation | changeset | files |
Wed, 18 Aug 2010 14:55:10 +0200 | haftmann | moved spurious auxiliary lemma here | changeset | files |
Wed, 18 Aug 2010 14:55:10 +0200 | haftmann | tuned proof | changeset | files |
Wed, 18 Aug 2010 14:55:09 +0200 | haftmann | qualified constants Let and If | changeset | files |
Wed, 18 Aug 2010 14:55:09 +0200 | haftmann | NEWS | changeset | files |
Wed, 18 Aug 2010 12:27:39 +0200 | haftmann | merged | changeset | files |