| Sun, 12 Nov 2006 21:31:52 +0100 | nipkow | image_constant_conv no longer [simp] | changeset | files |
| 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 |