Thu, 19 Apr 2012 15:02:13 +0200 | wenzelm | more robust Sledgehammer in Prover IDE; | changeset | files |
Thu, 19 Apr 2012 14:59:17 +0200 | wenzelm | test with jdk-7u3 that is also bundled; | changeset | files |
Thu, 19 Apr 2012 12:28:10 +0200 | kuncar | create thm names correctly | changeset | files |