| Wed, 02 Jul 2014 17:34:45 +0200 | wenzelm | tuned grammar and spelling (cf. 0cf15843b82f); | changeset | files |
| Wed, 02 Jul 2014 17:01:51 +0200 | desharna | document property 'corec_code' | changeset | files |
| Wed, 02 Jul 2014 17:01:49 +0200 | desharna | generate 'corec_code' theorem for codatatypes | changeset | files |
| Wed, 02 Jul 2014 13:23:11 +0200 | wenzelm | modernized definitions; | changeset | files |
| Wed, 02 Jul 2014 13:06:07 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Wed, 02 Jul 2014 12:12:26 +0200 | wenzelm | check 'case' variable bindings as for 'fix', which means internal names are rejected as usual; | changeset | files |
| Wed, 02 Jul 2014 08:03:50 +0200 | haftmann | optional exit hook for theory-like targets | changeset | files |