src/CCL/CCL.thy
1997-10-10 wenzelm fixed dots;
1996-02-05 clasohm expanded tabs
1995-06-21 clasohm removed \...\ inside strings
1994-03-17 lcp new type declaration syntax instead of numbers
1993-09-16 clasohm Initial revision
less more (0) tip