src/HOLCF/IOA/meta_theory/ioa_package.ML
Mon, 24 May 1999 21:57:13 +0200 wenzelm outer syntax keyword classification;
Mon, 26 Apr 1999 10:44:45 +0200 wenzelm tuned msgs;
Thu, 22 Apr 1999 11:00:30 +0200 mueller added frontend syntax for IOA, moved trivial examples to folder ex;
less more (0) tip