| Mon, 29 Apr 2013 14:06:37 +0200 | blanchet | use base names, not full names | changeset | files |
| Mon, 29 Apr 2013 13:52:14 +0200 | blanchet | tune signatures | changeset | files |
| Mon, 29 Apr 2013 13:47:46 +0200 | blanchet | tuning | changeset | files |
| Mon, 29 Apr 2013 13:42:54 +0200 | blanchet | tuning | changeset | files |
| Mon, 29 Apr 2013 13:41:34 +0200 | blanchet | removed unreferenced thm | changeset | files |
| Mon, 29 Apr 2013 13:40:26 +0200 | blanchet | tuned function signatures | changeset | files |
| Mon, 29 Apr 2013 11:46:03 +0200 | blanchet | factored out derivation of coinduction, unfold, corec | changeset | files |
| Mon, 29 Apr 2013 11:04:56 +0200 | blanchet | code tuning | changeset | files |
| Mon, 29 Apr 2013 10:37:23 +0200 | blanchet | factored out derivation of induction principles, folds and recs, in preparation for reduction of nested to mutual | changeset | files |
| Mon, 29 Apr 2013 11:31:40 +0200 | nipkow | tuned | changeset | files |
| Mon, 29 Apr 2013 10:03:35 +0200 | traytel | tuned operator precedence | changeset | files |
| Mon, 29 Apr 2013 09:45:14 +0200 | blanchet | use record instead of huge tuple | changeset | files |
| Mon, 29 Apr 2013 09:10:49 +0200 | blanchet | renamed BNF "(co)data" commands to names that are closer to their final names | changeset | files |
| Mon, 29 Apr 2013 06:13:36 +0200 | nipkow | tuned | changeset | files |
| Mon, 29 Apr 2013 04:30:05 +0200 | nipkow | tuned | changeset | files |