Thu, 09 Oct 1997 14:52:36 +0200 | wenzelm | fixed get_axiom, invoke_oracle; | changeset | files |
Thu, 09 Oct 1997 14:51:10 +0200 | wenzelm | print_theory: added oracles; | changeset | files |
Thu, 09 Oct 1997 14:50:39 +0200 | wenzelm | tuned exports; | changeset | files |