| Sun, 12 Nov 2006 21:14:52 +0100 | wenzelm | instantiate: tuned indentity case; | changeset | files |
| Sun, 12 Nov 2006 21:14:51 +0100 | wenzelm | removed dead code; | changeset | files |
| Sun, 12 Nov 2006 21:14:49 +0100 | wenzelm | mk_atomize: careful matching against rules admits overloading; | changeset | files |