Wed, 29 May 2013 02:35:49 +0200 | blanchet | tuning (use lists rather than pairs of lists throughout) | changeset | files |
Wed, 29 May 2013 02:35:49 +0200 | blanchet | generalized recursors, effectively reverting inductive half of c7a034d01936 | changeset | files |