src/CTT/CTT.thy
1997-10-10 wenzelm 1997-10-10 fixed dots;
1995-06-21 clasohm 1995-06-21 removed \...\ inside strings
1994-03-17 lcp 1994-03-17 new type declaration syntax instead of numbers
1993-10-04 wenzelm 1993-10-04 replaced id by idt; added parse rules for --> and *; removed ndependent_tr;
1993-09-16 clasohm 1993-09-16 Initial revision