Thu, 19 Sep 2013 00:32:33 +0200 | panny | generate more theorems (e.g. for types with only one constructor) | changeset | files |
Wed, 18 Sep 2013 18:11:32 +0200 | traytel | added two functions to List (one contributed by Manuel Eberl) | changeset | files |
Wed, 18 Sep 2013 22:59:11 +0200 | panny | generate constructor view theorems | changeset | files |