src/HOL/IOA/README.html
author mueller
Wed Apr 30 11:56:17 1997 +0200 (1997-04-30)
changeset 3078 984866a8f905
child 3220 47d2cf09b3d8
permissions -rw-r--r--
old IOA meta theory (see also new version in HOLCF/IOA/meta_theory);