| 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 |