| Wed, 29 May 2013 02:35:49 +0200 | blanchet | generalized recursors, effectively reverting inductive half of c7a034d01936 | changeset | files |
| Wed, 29 May 2013 02:35:49 +0200 | blanchet | tuning | changeset | files |
| Tue, 28 May 2013 23:11:07 +0200 | wenzelm | merged | changeset | files |
| Tue, 28 May 2013 23:06:32 +0200 | wenzelm | explicit support for type annotations within printed syntax trees; | changeset | files |