Sun, 11 Sep 1994 10:59:09 +0200 | nipkow | Added primrec section. | changeset | files |
Fri, 09 Sep 1994 13:10:09 +0200 | lcp | now in a format that could be published | changeset | files |
Fri, 09 Sep 1994 12:34:54 +0200 | lcp | added Abrial and Laffitte; Kunen; Winskel, etc. | changeset | files |