| Thu, 07 Aug 2014 12:17:41 +0200 | blanchet | generate nicer 'set' theorems for (co)datatypes | changeset | files |
| Thu, 07 Aug 2014 12:17:41 +0200 | blanchet | compile | changeset | files |
| Thu, 07 Aug 2014 12:17:41 +0200 | blanchet | took out test driver | changeset | files |
| Thu, 07 Aug 2014 12:17:41 +0200 | blanchet | make TPTP tools work on polymorphic (TFF1) problems as well | changeset | files |
| Thu, 07 Aug 2014 12:17:41 +0200 | blanchet | put comments between TPTP lines to comply with TPTP BNF | changeset | files |
| Thu, 07 Aug 2014 12:17:41 +0200 | blanchet | test driver | changeset | files |
| Thu, 07 Aug 2014 12:17:41 +0200 | blanchet | treat variables as frees in 'conjecture's | changeset | files |
| Thu, 07 Aug 2014 12:17:41 +0200 | blanchet | support TFF1 in TPTP parser/interpreter | changeset | files |
| Thu, 07 Aug 2014 12:17:41 +0200 | blanchet | tuning | changeset | files |
| Thu, 07 Aug 2014 09:35:31 +0200 | traytel | tuned | changeset | files |
| Thu, 07 Aug 2014 10:06:18 +0200 | nipkow | tuned | changeset | files |
| Thu, 07 Aug 2014 09:48:04 +0200 | nipkow | tuned | changeset | files |
| Wed, 06 Aug 2014 18:20:31 +0200 | traytel | merged | changeset | files |
| Wed, 06 Aug 2014 16:00:11 +0200 | traytel | handle deep nesting in N2M | changeset | files |
| Wed, 06 Aug 2014 10:20:50 +0200 | traytel | made tactic more robust | changeset | files |
| Wed, 06 Aug 2014 18:03:43 +0200 | nipkow | added lemma | changeset | files |
| Wed, 06 Aug 2014 08:18:35 +0200 | nipkow | replaced misleading - by _ | changeset | files |
| Tue, 05 Aug 2014 20:25:12 +0200 | blanchet | more correct clique computation for N2M | changeset | files |
| Tue, 05 Aug 2014 15:55:39 +0200 | blanchet | regenerated ML-Lex/Yacc files | changeset | files |
| Tue, 05 Aug 2014 15:54:47 +0200 | blanchet | correctly interpret arithmetic types | changeset | files |
| Tue, 05 Aug 2014 14:02:47 +0200 | blanchet | added 'datatype_compat' tests | changeset | files |
| Tue, 05 Aug 2014 13:52:35 +0200 | blanchet | tuning whitespace | changeset | files |
| Tue, 05 Aug 2014 11:07:53 +0200 | blanchet | tuned skolemization | changeset | files |
| Tue, 05 Aug 2014 10:59:40 +0200 | blanchet | rationalize Skolem names | changeset | files |
| Tue, 05 Aug 2014 10:17:15 +0200 | blanchet | tuning | changeset | files |
| Tue, 05 Aug 2014 10:02:35 +0200 | blanchet | tuned code | changeset | files |
| Tue, 05 Aug 2014 09:58:23 +0200 | blanchet | don't rename variables which will be renamed later anyway | changeset | files |
| Tue, 05 Aug 2014 09:55:42 +0200 | blanchet | normalize skolem argument variable names so that they coincide when taking the conjunction | changeset | files |
| Tue, 05 Aug 2014 09:20:00 +0200 | blanchet | tuning | changeset | files |
| Mon, 04 Aug 2014 16:55:03 +0200 | blanchet | tuned comments | changeset | files |
| Mon, 04 Aug 2014 16:53:09 +0200 | blanchet | deal with E definitions | changeset | files |
| Mon, 04 Aug 2014 15:08:13 +0200 | blanchet | updated 'compress' docs | changeset | files |