src/CCL/Term.thy
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-03-03 wenzelm 1997-03-03 added comment;
1996-02-05 clasohm 1996-02-05 expanded tabs
1995-06-21 clasohm 1995-06-21 removed \...\ inside strings
1995-04-06 lcp 1995-04-06 Gave tighter priorities to if, napply and the let-forms to reduce ambiguities.
1994-09-14 wenzelm 1994-09-14 letrec syntax: replaced "id" by "idt";
1994-03-22 clasohm 1994-03-22 changed "." to "$" to eliminate ambiguity
1993-09-16 clasohm 1993-09-16 Initial revision