| Wed, 02 Apr 1997 11:30:03 +0200 | paulson | Installation of blast_tac | changeset | files |
| Wed, 02 Apr 1997 11:27:47 +0200 | paulson | Now tests for essential ancestors (Lfp or Gfp) | changeset | files |
| Wed, 02 Apr 1997 11:25:04 +0200 | paulson | Re-ordering of rules to assist blast_tac | changeset | files |
| Wed, 02 Apr 1997 11:23:31 +0200 | paulson | Now loads blast_tac | changeset | files |
| Wed, 02 Apr 1997 11:19:46 +0200 | paulson | Reorganization of how classical rules are installed | changeset | files |
| Wed, 02 Apr 1997 11:16:40 +0200 | paulson | Now calls require_thy to ensure ancestors are present | changeset | files |
| Wed, 02 Apr 1997 11:15:46 +0200 | paulson | Implementation of blast_tac: fast tableau prover | changeset | files |