| Mon, 13 Nov 2006 15:42:57 +0100 | haftmann | added tt tag | changeset | files |
| Mon, 13 Nov 2006 15:01:59 +0100 | krauss | auto_term => lexicographic_order | changeset | files |
| Mon, 13 Nov 2006 13:53:48 +0100 | krauss | updated | changeset | files |
| 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 |