Thu, 01 Apr 2010 10:27:06 +0200 | blanchet | merged | changeset | files |
Thu, 01 Apr 2010 10:26:45 +0200 | blanchet | fixed layout of Sledgehammer output | changeset | files |
Mon, 29 Mar 2010 19:49:57 +0200 | blanchet | added "modulus" and "sorts" options to control Sledgehammer's Isar proof output | changeset | files |