Fri, 25 Jun 2010 15:08:03 +0200 | blanchet | further reduce dependencies on "sledgehammer_fact_filter.ML" | changeset | files |
Fri, 25 Jun 2010 15:01:35 +0200 | blanchet | move "prepare_clauses" from "sledgehammer_fact_filter.ML" to "sledgehammer_hol_clause.ML"; | changeset | files |
Mon, 28 Jun 2010 10:39:39 +0200 | wenzelm | merged | changeset | files |
Mon, 28 Jun 2010 09:48:36 +0200 | Cezary Kaliszyk | Quotient package reverse lifting | changeset | files |