| Tue, 05 Jul 2011 21:53:59 +0200 | wenzelm | hard-wired print mode "xsymbols" increases chance that "iff" in HOL will print symbolic arrow; | changeset | files |
| Tue, 05 Jul 2011 21:32:48 +0200 | wenzelm | prefer space_explode/split_lines as in Isabelle/ML; | changeset | files |
| Tue, 05 Jul 2011 21:20:24 +0200 | wenzelm | Path.split convenience; | changeset | files |
| Tue, 05 Jul 2011 20:36:49 +0200 | wenzelm | get theory from last executation state; | changeset | files |
| Tue, 05 Jul 2011 19:45:59 +0200 | wenzelm | explicit exit_transaction with Theory.end_theory (which could include sanity checks as in HOL-SPARK for example); | changeset | files |
| Tue, 05 Jul 2011 11:45:48 +0200 | wenzelm | clarified cancel_execution/await_cancellation; | changeset | files |
| Tue, 05 Jul 2011 11:16:37 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 05 Jul 2011 10:54:05 +0200 | wenzelm | tuned; | changeset | files |