| Thu, 03 Feb 1994 13:55:20 +0100 | wenzelm | replaced eq_sg by Sign.eq_sg; | changeset | files |
| Thu, 03 Feb 1994 13:55:03 +0100 | wenzelm | removed eq_sg, pprint_sg, print_sg (now in sign.ML); | changeset | files |
| Thu, 03 Feb 1994 13:53:44 +0100 | wenzelm | major cleanup; | changeset | files |