| Fri, 13 Dec 2013 23:53:02 +0100 | wenzelm | merged | changeset | files |
| Fri, 13 Dec 2013 20:20:15 +0100 | wenzelm | maintain morphism names for diagnostic purposes; | changeset | files |
| Fri, 13 Dec 2013 14:58:47 +0100 | wenzelm | tuned -- prefer canonical argument order of fold_rev; | changeset | files |