src/CCL/Type.thy
Fri, 21 May 2004 21:14:18 +0200 wenzelm proper use of 'syntax';
Fri, 10 Oct 1997 17:10:12 +0200 wenzelm fixed dots;
Mon, 05 Feb 1996 14:44:09 +0100 clasohm expanded tabs
Thu, 06 Apr 1995 10:53:21 +0200 lcp Gave tighter priorities to SUM and PROD to reduce ambiguities.
Mon, 04 Oct 1993 15:44:54 +0100 wenzelm added parse rules for -> and *;
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip