| 1994-03-17 | lcp | 1994-03-17 | FOL/simpdata: tidied FOL/simpdata/not_rews: moved the law "~(P|Q) <-> ~P & ~Q" from distrib_rews FOL/simpdata/cla_rews: added the law "~(P&Q) <-> ~P | ~Q" | file | diff | annotate |
| 1994-01-05 | nipkow | 1994-01-05 | updated solver of FOL_ss. see change of HOL/simpdata.ML | file | diff | annotate |
| 1993-10-12 | nipkow | 1993-10-12 | Added gen_all to simpdata.ML. | file | diff | annotate |
| 1993-09-16 | nipkow | 1993-09-16 | defined local addcongs | file | diff | annotate |
| 1993-09-16 | clasohm | 1993-09-16 | Initial revision | file | diff | annotate |