Mon, 13 May 2013 06:50:37 +0200 | nipkow | tuned names | changeset | files |
Sun, 12 May 2013 20:58:01 +0200 | wenzelm | re-init ISABELLE_PROCESS_OPTIONS to allow nested ISABELLE_PROCESS invocations, e.g. HOL-Mutabelle-ex; | changeset | files |
Sun, 12 May 2013 20:46:17 +0200 | wenzelm | more standard Isabelle/ML operations -- avoid inaccurate Bool.fromString; | changeset | files |