Mon, 25 May 1998 21:27:22 +0200 | wenzelm | tuned local, global; | changeset | files |
Mon, 25 May 1998 21:25:04 +0200 | wenzelm | tuned store_theory: theory -> unit; | changeset | files |
Mon, 25 May 1998 21:24:27 +0200 | wenzelm | added get_name, put_name, global_path, local_path, begin_theory, | changeset | files |