Mon, 14 Jan 2013 14:03:24 +0100 | kuncar | NEWS | changeset | files |
Mon, 14 Jan 2013 13:43:58 +0100 | kuncar | update isar-ref for Quotient and Lifting package | changeset | files |
Mon, 14 Jan 2013 10:32:33 +0100 | blanchet | run Sledgehammer provers in parallel in "try" | changeset | files |