| Mon, 04 Oct 1999 21:34:20 +0200 | wenzelm | added BVC; | changeset | files |
| Mon, 04 Oct 1999 14:45:35 +0200 | wenzelm | added mk_conj, mk_disj, mk_imp; | changeset | files |
| Mon, 04 Oct 1999 13:47:28 +0200 | paulson | working snapshot (even Alloc) | changeset | files |
| Mon, 04 Oct 1999 13:45:31 +0200 | paulson | most results now refer to those for "extend" | changeset | files |
| Mon, 04 Oct 1999 12:22:14 +0200 | wenzelm | fixed lookup_theory; | changeset | files |
| Mon, 04 Oct 1999 10:19:18 +0200 | paulson | fixed CHANGED_GOAL, which is used by stac | changeset | files |