Thu, 04 Dec 1997 13:50:18 +0100 | wenzelm | added reset_context; | changeset | files |
Thu, 04 Dec 1997 13:49:51 +0100 | wenzelm | added eq_set; | changeset | files |
Thu, 04 Dec 1997 13:49:27 +0100 | wenzelm | moved global_names ref to Pure/ROOT.ML; | changeset | files |