Wed, 05 Nov 1997 13:50:59 +0100 | paulson | Ran expandshort, especially to introduce Safe_tac | changeset | files |
Wed, 05 Nov 1997 13:50:16 +0100 | paulson | Adapted to removal of UN1_I, etc | changeset | files |
Wed, 05 Nov 1997 13:45:01 +0100 | paulson | Adapted to removal of UN1_I, etc | changeset | files |