| Fri, 04 Apr 1997 11:28:28 +0200 | paulson | Re-organization of the order of haz rules | file | diff | annotate |
| Thu, 03 Apr 1997 10:32:34 +0200 | paulson | Now exports declConsts! | file | diff | annotate |
| Wed, 02 Apr 1997 11:15:46 +0200 | paulson | Implementation of blast_tac: fast tableau prover | file | diff | annotate |