src/HOLCF/IOA/ABP/ROOT.ML
2000-05-30 wenzelm 2000-05-30 cleaned up;
1999-02-03 wenzelm 1999-02-03 tidied load path handling;
1997-12-16 wenzelm 1997-12-16 expandshort;
1997-04-30 mueller 1997-04-30 Old ABP files now running under the IOA meta theory based on HOLCF;