Tue, 10 Nov 2009 16:11:43 +0100 | haftmann | substantial simplification restores code generation | changeset | files |
Tue, 10 Nov 2009 16:11:39 +0100 | haftmann | lemmas about apfst and apsnd | changeset | files |
Tue, 10 Nov 2009 16:11:37 +0100 | haftmann | tuned imports | changeset | files |