Thu, 07 Apr 2016 17:56:26 +0200 | traytel | (un)folds are not legacy | changeset | files |
Thu, 07 Apr 2016 17:56:26 +0200 | traytel | removed duplicate lemma | changeset | files |
Thu, 07 Apr 2016 17:56:22 +0200 | traytel | derive (co)rec uniformly from (un)fold | changeset | files |