Wed, 23 Jun 2010 10:20:54 +0200 | blanchet | merged | changeset | files |
Wed, 23 Jun 2010 10:20:33 +0200 | blanchet | this looks like the most appropriate place to do the beta-eta-contraction | changeset | files |
Wed, 23 Jun 2010 09:40:06 +0200 | blanchet | killed legacy "neg_clausify" and "clausify" | changeset | files |