Wed, 30 Jul 2014 00:50:41 +0200 | blanchet | also try 'metis' with 'full_types' | changeset | files |
Tue, 29 Jul 2014 23:39:35 +0200 | blanchet | header tuning | changeset | files |
Mon, 28 Jul 2014 10:57:33 +0200 | blanchet | correctly translate THF functions from terms to types | changeset | files |