Sun, 16 Oct 2011 14:48:01 +0200 | haftmann | tuned proof | changeset | files |
Sun, 16 Oct 2011 14:48:00 +0200 | haftmann | tuned type annnotation | changeset | files |
Sun, 16 Oct 2011 14:48:00 +0200 | haftmann | hide not_member as also member | changeset | files |