| Wed, 13 Sep 2006 12:17:17 +0200 | paulson | Tweaks to is_fol_term, the first-order test. We don't count "=" as a connective | changeset | files |
| Wed, 13 Sep 2006 12:05:50 +0200 | krauss | Major update to function package, including new syntax and the (only theoretical) | changeset | files |