| Thu, 09 Oct 1997 14:55:05 +0200 | wenzelm | improved oracles: named, many per theory; | changeset | files |
| 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 |
| Thu, 09 Oct 1997 14:50:39 +0200 | wenzelm | tuned exports; | changeset | files |
| Thu, 09 Oct 1997 14:39:44 +0200 | wenzelm | fixed axiom names; | changeset | files |
| Wed, 08 Oct 1997 12:15:59 +0200 | wenzelm | symbols syntax; | changeset | files |
| Wed, 08 Oct 1997 11:50:33 +0200 | wenzelm | A formalization of TLA in HOL -- by Stephan Merz; | changeset | files |