| Sun, 20 Oct 2013 22:39:40 +0200 | blanchet | reintroduced parts of 07a8145aaeba that a22ded8a7f7d wrongly took out | changeset | files |
| Sun, 20 Oct 2013 21:59:08 +0200 | blanchet | tuning | changeset | files |
| Sun, 20 Oct 2013 19:23:28 +0200 | blanchet | gracefully handle case where a nested recursive variable appears directly on the rhs of a primcorec equation | changeset | files |