Thu, 21 Aug 2008 13:05:31 +0200 | wenzelm | read_symbols: proper IsabelleSystem.platform_path; | changeset | files |
Thu, 21 Aug 2008 13:05:28 +0200 | wenzelm | added ISABELLE_ROOT_JVM; | changeset | files |
Mon, 18 Aug 2008 17:57:06 +0200 | ballarin | Theorem on polynomial division and lemmas. | changeset | files |