| Wed, 15 May 2013 17:43:42 +0200 | blanchet | renamed Sledgehammer functions with 'for' in their names to 'of' | changeset | files |
| Wed, 15 May 2013 17:27:24 +0200 | blanchet | added datatype declaration syntax for next-gen SPASS | changeset | files |
| Wed, 15 May 2013 12:13:38 +0200 | kuncar | abstract equalities only in a correspondence relation in a transfer domain rule | changeset | files |