| Thu, 21 Sep 1995 11:23:30 +0200 | wenzelm | added comment; | changeset | files |
| Wed, 13 Sep 1995 11:21:58 +0200 | wenzelm | fixed $Id$ | changeset | files |
| Tue, 12 Sep 1995 11:04:29 +0200 | paulson | trivial update to POPL title | changeset | files |
| Mon, 11 Sep 1995 14:16:28 +0200 | clasohm | replaced "IOA/ROOT.ML" by "IOA/ROOT_NTP.ML IOA/ROOT_ABP.ML" | changeset | files |