Wed, 05 Sep 2012 08:32:59 +0200 | nipkow | tuned | changeset | files |
Wed, 05 Sep 2012 00:58:54 +0200 | blanchet | fixed bugs in one-constructor case | changeset | files |
Tue, 04 Sep 2012 23:43:02 +0200 | blanchet | smoothly handle one-constructor types | changeset | files |
Tue, 04 Sep 2012 23:42:33 +0200 | blanchet | fixed some type issues in sugar "exhaust_tac" | changeset | files |
Tue, 04 Sep 2012 23:09:08 +0200 | blanchet | optionally provide extra dead variables to the FP constructions | changeset | files |
Tue, 04 Sep 2012 21:51:31 +0200 | wenzelm | merged | changeset | files |
Tue, 04 Sep 2012 21:23:11 +0200 | blanchet | added robustness | changeset | files |