Thu, 28 Oct 2010 15:10:34 +0200 | wenzelm | merged | changeset | files |
Thu, 28 Oct 2010 12:33:24 +0200 | blanchet | support non-identifier-like fact names in Sledgehammer (e.g., "my lemma") by quoting them | changeset | files |
Thu, 28 Oct 2010 10:38:29 +0200 | blanchet | merged | changeset | files |