| Tue, 12 Oct 1993 13:39:35 +0100 | nipkow | Added gen_all to simpdata.ML. | file | diff | annotate |
| Thu, 16 Sep 1993 16:55:17 +0200 | nipkow | defined local addcongs | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |