Fri, 20 Dec 2013 16:22:10 +0100 | blanchet | tuning whitespace | changeset | files |
Fri, 20 Dec 2013 14:27:07 +0100 | blanchet | recognize datatype reasoning in SPASS-Pirate | changeset | files |
Fri, 20 Dec 2013 11:34:07 +0100 | blanchet | note manually proved exclusiveness property | changeset | files |