| Thu, 08 Jan 1998 18:00:08 +0100 | oheimb | removed obsolete comment | file | diff | annotate |
| Wed, 30 Apr 1997 11:56:17 +0200 | mueller | old IOA meta theory (see also new version in HOLCF/IOA/meta_theory); | file | diff | annotate |
| Thu, 13 Apr 1995 16:53:15 +0200 | nipkow | New ROOT file. | file | diff | annotate |
| Mon, 10 Apr 1995 08:47:43 +0200 | nipkow | Removed the "exit 1" calls, since now the Makefile does them. | file | diff | annotate |
| Mon, 20 Mar 1995 15:37:03 +0100 | clasohm | converted IOA with curried function application | file | diff | annotate |