Thu, 02 May 2013 18:48:39 +0200 | blanchet | code tuning | changeset | files |
Thu, 02 May 2013 18:34:36 +0200 | blanchet | signature tuning | changeset | files |
Thu, 02 May 2013 18:25:44 +0200 | blanchet | removed dead code | changeset | files |
Thu, 02 May 2013 18:16:28 +0200 | blanchet | tuned signature | changeset | files |
Thu, 02 May 2013 16:33:04 +0200 | blanchet | store (co)induction rules in data structure | changeset | files |
Thu, 02 May 2013 16:14:14 +0200 | blanchet | tuning names | changeset | files |
Thu, 02 May 2013 15:28:11 +0200 | blanchet | got rid of needless library function (find_minimum) | changeset | files |