| Tue, 03 Sep 2013 19:58:00 +0200 | wenzelm | cases: formal binding of 'assumes', with position provided via invoke_case; | changeset | files |
| Tue, 03 Sep 2013 18:21:43 +0200 | wenzelm | minor tuning; | changeset | files |
| Tue, 03 Sep 2013 13:09:15 +0200 | wenzelm | cases: more position information and PIDE markup; | changeset | files |
| Tue, 03 Sep 2013 11:58:34 +0200 | wenzelm | more liberal 'case' syntax: allow parentheses without arguments; | changeset | files |
| Tue, 03 Sep 2013 11:55:59 +0200 | wenzelm | more robust ToyList_Test; | changeset | files |
| Tue, 03 Sep 2013 11:29:01 +0200 | wenzelm | Execution.fork formally requires registered Execution.running; | changeset | files |
| Tue, 03 Sep 2013 01:12:40 +0200 | wenzelm | tuned proofs -- clarified flow of facts wrt. calculation; | changeset | files |