| 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 |
| Fri, 13 Dec 2013 14:15:52 +0100 | wenzelm | proper simplifier context; | changeset | files |
| Fri, 13 Dec 2013 14:09:51 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 13 Dec 2013 13:59:01 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 13 Dec 2013 22:54:39 +0800 | blanchet | made SML/NJ happy + whitespace tuning | changeset | files |