Mon, 05 Sep 2011 07:49:31 +0200 | haftmann | tuned | changeset | files |
Sun, 04 Sep 2011 09:28:15 +0200 | haftmann | tuned | changeset | files |
Thu, 08 Sep 2011 09:25:55 +0200 | blanchet | fixed computation of "in_conj" for polymorphic encodings | changeset | files |