| 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 |
| Wed, 15 May 2013 12:10:44 +0200 | kuncar | superfluous transfer rule | changeset | files |
| Wed, 15 May 2013 12:10:39 +0200 | kuncar | stronger reflexivity prover | changeset | files |
| Tue, 14 May 2013 21:56:19 +0200 | wenzelm | simplified modules and exceptions; | changeset | files |