src/HOLCF/IOA/ROOT.ML
Mon, 12 Jan 1998 17:51:32 +0100 mueller added abstraction files;
Wed, 30 Apr 1997 11:20:15 +0200 mueller New meta theory for IOA based on HOLCF.
less more (0) tip