| Wed, 05 Jan 1994 19:39:05 +0100 | nipkow | modified solver of HOL_ss to take the new simplifier into account: the thm to | file | diff | annotate |
| Tue, 28 Sep 1993 14:27:31 +0100 | lcp | This repeats a previous commit, which failed to update simpdata.ML because | file | diff | annotate |
| Thu, 16 Sep 1993 14:29:14 +0200 | nipkow | defined addcongs locally in simpdata.ML | file | diff | annotate |
| Thu, 16 Sep 1993 12:21:07 +0200 | clasohm | Initial revision | file | diff | annotate |