| Wed, 02 Oct 2013 16:56:02 +0200 | wenzelm | misc tuning for release; | changeset | files |
| Wed, 02 Oct 2013 16:29:41 +0200 | blanchet | more (co)data docs | changeset | files |
| Wed, 02 Oct 2013 16:29:40 +0200 | blanchet | don't register equations of the form 'f x = ...' as simp rules, even if they are safe (noncorecursive), because they unfold too aggresively concepts users are likely to want to stay folded | changeset | files |
| Wed, 02 Oct 2013 15:53:20 +0200 | traytel | NEWS and CONTRIBUTORS | changeset | files |
| Wed, 02 Oct 2013 15:13:41 +0200 | traytel | made SML/NJ happy | changeset | files |
| Wed, 02 Oct 2013 13:29:04 +0200 | traytel | use new coinduction method and primcorec in examples | changeset | files |