Thu, 22 Sep 2011 16:56:19 +0200 | berghofe | merged | changeset | files |
Thu, 22 Sep 2011 16:50:23 +0200 | berghofe | Added documentation for HOL-SPARK | changeset | files |
Thu, 22 Sep 2011 16:30:47 +0200 | blanchet | drop partial monomorphic instances in Metis, like in Sledgehammer | changeset | files |