src/HOL/IOA/README.html
1997-05-16 mueller 1997-05-16 readme added
1997-04-30 mueller 1997-04-30 old IOA meta theory (see also new version in HOLCF/IOA/meta_theory);