src/CCL/type.thy
1993-10-04 wenzelm 1993-10-04 added parse rules for -> and *; removed ndependent_tr;
1993-09-16 clasohm 1993-09-16 Initial revision