| 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 |