| 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 |
| Thu, 03 Feb 1994 13:53:08 +0100 | wenzelm | extend_theory: changed type of "abbrs" arg; | changeset | files |