| Tue, 30 Aug 2011 16:07:45 +0200 | blanchet | implement more of the polymorphic simply typed format TFF(1) | changeset | files |
| Tue, 30 Aug 2011 16:07:45 +0200 | blanchet | flip logic of boolean option so it's off by default | changeset | files |
| Tue, 30 Aug 2011 16:07:45 +0200 | blanchet | extended simple types with polymorphism -- the implementation still needs some work though | changeset | files |
| Tue, 30 Aug 2011 16:07:45 +0200 | blanchet | added dummy PFF prover, for debugging purposes | changeset | files |