| Mon, 13 May 2013 12:13:24 +0200 | kuncar | try to detect assumptions of transfer rules that are in a shape of a transfer rule | changeset | files |
| Mon, 13 May 2013 12:13:24 +0200 | kuncar | publish a private function | changeset | files |
| 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 |
| Sun, 12 May 2013 20:30:34 +0200 | wenzelm | prefer standard Isabelle/ML operations; | changeset | files |
| Sun, 12 May 2013 20:25:45 +0200 | wenzelm | some system options as context-sensitive config options; | changeset | files |