| 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 |
| Mon, 04 Jul 2011 22:25:33 +0200 | wenzelm | Document.no_id/new_id as in ML (new_id *could* be session-specific but it isn't right now); | changeset | files |
| Mon, 04 Jul 2011 22:11:32 +0200 | wenzelm | quasi-static Isabelle_System -- reduced tendency towards "functorial style"; | changeset | files |
| Mon, 04 Jul 2011 20:18:19 +0200 | wenzelm | explicit class Counter; | changeset | files |