| Tue, 23 Dec 1997 11:39:03 +0100 | paulson | Better equality handling in Blast_tac, usingd a new variant of hyp_subst_tac | file | diff | annotate |
| Wed, 03 Dec 1997 10:48:16 +0100 | paulson | Instantiated the one-point-rule quantifier simpprocs for FOL | file | diff | annotate |