| Wed, 31 Jul 2002 14:39:47 +0200 | paulson | tweaks involving Separation | changeset | files |
| Wed, 31 Jul 2002 14:34:08 +0200 | paulson | new theorem eq_commute | changeset | files |
| Tue, 30 Jul 2002 11:39:57 +0200 | paulson | better sats rules for higher-order operators | changeset | files |
| Tue, 30 Jul 2002 11:38:33 +0200 | paulson | removal of twos_compl.ML, which is not really needed | changeset | files |
| Tue, 30 Jul 2002 10:29:34 +0200 | isatest | - changed date format for proper lexicographical ordering | changeset | files |
| Tue, 30 Jul 2002 10:28:38 +0200 | isatest | changed date format for proper lexicographical ordering | changeset | files |
| Mon, 29 Jul 2002 21:39:22 +0200 | wenzelm | tuned messages; | changeset | files |