Mon, 06 Jun 2011 20:36:34 +0200 | blanchet | killed odd connectives | changeset | files |
Mon, 06 Jun 2011 20:36:34 +0200 | blanchet | added Metis examples to test the new type encodings | changeset | files |
Mon, 06 Jun 2011 20:36:34 +0200 | blanchet | tuned CASC method | changeset | files |