| Mon, 13 Nov 2006 13:51:22 +0100 | krauss | replaced "auto_term" by the simpler method "relation", which does not try | changeset | files |
| Mon, 13 Nov 2006 12:10:49 +0100 | wenzelm | added fresh_prodD, which is included fresh_prodD into mksimps setup; | changeset | files |
| Mon, 13 Nov 2006 11:41:40 +0100 | krauss | added lexicographic_order.ML to makefile | changeset | files |
| 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 |
| Sun, 12 Nov 2006 21:14:49 +0100 | wenzelm | mk_atomize: careful matching against rules admits overloading; | changeset | files |