| Fri, 07 Apr 2006 05:14:06 +0200 | mengj | filter now accepts axioms as thm, instead of term. | changeset | files |
| Fri, 07 Apr 2006 05:12:51 +0200 | mengj | tptp_write_file accepts axioms as thm. | changeset | files |
| Fri, 07 Apr 2006 05:12:23 +0200 | mengj | added another function for CNF. | changeset | files |
| Fri, 07 Apr 2006 05:12:00 +0200 | mengj | lemmas returned from ResClasimp.get_clasimp_atp_lemmas are thm rather than term. | changeset | files |
| Fri, 07 Apr 2006 03:20:34 +0200 | kleing | renamed ASeries to Arithmetic_Series, removed the ^M | changeset | files |
| Thu, 06 Apr 2006 17:29:40 +0200 | urbanc | modified the perm_compose rule such that it | changeset | files |
| Thu, 06 Apr 2006 16:13:17 +0200 | haftmann | cleanup in typedef/datatype package | changeset | files |
| Thu, 06 Apr 2006 16:12:57 +0200 | haftmann | added explicit serialization for int equality | changeset | files |