| 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 |