src/HOLCF/IOA/meta_theory/ioa_syn.ML
Sun, 24 Feb 2002 21:45:57 +0100 wenzelm replaced 'using' keyword by 'to';
Tue, 18 Apr 2000 00:49:49 +0200 wenzelm renamed 'hide' to 'hide_action';
Mon, 19 Jul 1999 16:47:24 +0200 wenzelm renamed 'with' to 'using';
Thu, 22 Apr 1999 11:00:30 +0200 mueller added frontend syntax for IOA, moved trivial examples to folder ex;
less more (0) tip