| Fri, 17 Dec 2010 16:25:21 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 17 Dec 2010 14:09:37 +0100 | wenzelm | clarified exports of structure Simplifier; | changeset | files |
| Fri, 17 Dec 2010 13:45:43 +0100 | wenzelm | refer to regular structure Simplifier; | changeset | files |