| Thu, 16 May 2013 14:27:43 +0200 | blanchet | tuning | changeset | files |
| Thu, 16 May 2013 14:15:22 +0200 | blanchet | more work on SPASS datatypes | changeset | files |
| Thu, 16 May 2013 13:34:13 +0200 | blanchet | tuning -- renamed '_from_' to '_of_' in Sledgehammer | changeset | files |
| Thu, 16 May 2013 13:19:27 +0200 | blanchet | compile | changeset | files |
| Thu, 16 May 2013 13:05:52 +0200 | blanchet | don't recognize overloaded constants as constructors for the purpose of removing type arguments | changeset | files |
| Thu, 16 May 2013 13:05:52 +0200 | blanchet | tuning | changeset | files |
| Thu, 16 May 2013 13:05:52 +0200 | blanchet | reintroduced syntax for "nonexhaustive" datatypes | changeset | files |
| Thu, 16 May 2013 13:05:52 +0200 | blanchet | tuning | changeset | files |
| Thu, 16 May 2013 13:05:52 +0200 | blanchet | more work on SPASS datatypes | changeset | files |
| Thu, 16 May 2013 11:35:07 +0200 | Andreas Lochbihler | merged | changeset | files |
| Thu, 16 May 2013 10:08:28 +0200 | Andreas Lochbihler | setup for set membership as a predicate for code_pred | changeset | files |
| Thu, 16 May 2013 11:27:34 +0200 | nipkow | tuned | changeset | files |
| Thu, 16 May 2013 13:49:18 +1000 | kleing | explicitly state equivalence relation for sim; tweak syntax of sem_equiv | changeset | files |
| Thu, 16 May 2013 02:13:42 +0200 | nipkow | merged | changeset | files |