| 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 |
| Tue, 05 Jul 2011 09:54:39 +0200 | krauss | re-check to explicitly propagate a given type constraint to lhs -- necessary to trigger type improvement in an instantiation target | changeset | files |