src/CCL/Type.thy
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-02-05 clasohm 1996-02-05 expanded tabs
1995-04-06 lcp 1995-04-06 Gave tighter priorities to SUM and PROD to reduce ambiguities.
1993-10-04 wenzelm 1993-10-04 added parse rules for -> and *; removed ndependent_tr;
1993-09-16 clasohm 1993-09-16 Initial revision