| Thu, 09 Oct 1997 14:53:31 +0200 | wenzelm | improved oracle: name; | changeset | files |
| 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 |