| 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 |