Thu, 04 Sep 2014 14:02:37 +0200 | hoelzl | cleanup Wfrec; introduce dependent_wf/wellorder_choice | changeset | files |
Thu, 04 Sep 2014 11:53:39 +0200 | blanchet | tuned Nitpick and Refute examples, which are too slow on some testing machines | changeset | files |
Thu, 04 Sep 2014 11:20:59 +0200 | blanchet | tweaked setup for datatype realizer | changeset | files |
Thu, 04 Sep 2014 09:02:43 +0200 | blanchet | renamed internal constant | changeset | files |
Thu, 04 Sep 2014 09:02:43 +0200 | blanchet | moved code around | changeset | files |
Thu, 04 Sep 2014 09:02:43 +0200 | blanchet | tuned size function generation | changeset | files |