| Mon, 17 Oct 2005 23:10:17 +0200 | wenzelm | functor: no Simplifier argument; | changeset | files |
| Mon, 17 Oct 2005 23:10:16 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 17 Oct 2005 23:10:15 +0200 | wenzelm | Simplifier.inherit_context instead of Simplifier.inherit_bounds; | changeset | files |