| Tue, 28 Sep 1993 14:27:31 +0100 | lcp | This repeats a previous commit, which failed to update simpdata.ML because | changeset | files |
| Wed, 22 Sep 1993 15:43:05 +0200 | lcp | Added weak congruence rules to HOL: if_weak_cong, case_weak_cong, | changeset | files |
| Thu, 16 Sep 1993 14:29:14 +0200 | nipkow | defined addcongs locally in simpdata.ML | changeset | files |
| Thu, 16 Sep 1993 12:21:07 +0200 | clasohm | Initial revision | changeset | files |