| Thu, 01 Jul 1999 10:32:57 +0200 | paulson | new laws mult_le_cancel1, mult_le_cancel2 | changeset | files |
| Wed, 30 Jun 1999 16:00:06 +0200 | wenzelm | antisym first; | changeset | files |
| Wed, 30 Jun 1999 13:42:47 +0200 | wenzelm | more robust trans rules; | changeset | files |
| Wed, 30 Jun 1999 12:24:32 +0200 | wenzelm | Isar.sync_main; | changeset | files |