Wed, 30 Apr 1997 11:56:17 +0200 old IOA meta theory (see also new version in HOLCF/IOA/meta_theory);
mueller [Wed, 30 Apr 1997 11:56:17 +0200] rev 3078
old IOA meta theory (see also new version in HOLCF/IOA/meta_theory);
Wed, 30 Apr 1997 11:55:22 +0200 moved to .. (see also new version in HOLCF/IOA/meta_theory);
mueller [Wed, 30 Apr 1997 11:55:22 +0200] rev 3077
moved to .. (see also new version in HOLCF/IOA/meta_theory);
Wed, 30 Apr 1997 11:53:30 +0200 removed -- new version in HOLCF/IOA/NTP;
mueller [Wed, 30 Apr 1997 11:53:30 +0200] rev 3076
removed -- new version in HOLCF/IOA/NTP;
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip