src/HOL/IOA/README.html
Wed, 30 Apr 1997 11:56:17 +0200 mueller old IOA meta theory (see also new version in HOLCF/IOA/meta_theory);
less more (0) tip