src/CTT/CTT.thy
2007-06-21 wenzelm 2007-06-21 tuned proofs -- avoid implicit prems;
2007-04-26 wenzelm 2007-04-26 eliminated unnamed infixes, tuned syntax;
2006-11-26 wenzelm 2006-11-26 updated (binder) syntax/notation;
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-07 wenzelm 2006-11-07 renamed 'const_syntax' to 'notation';
2006-06-02 wenzelm 2006-06-02 removed obsolete ML files;
2005-10-07 wenzelm 2005-10-07 replaced _K by dummy abstraction;
2005-09-16 wenzelm 2005-09-16 converted to Isar theory format;
2004-06-01 wenzelm 2004-06-01 removed obsolete sort 'logic';
2004-05-21 wenzelm 2004-05-21 proper use of 'syntax';
2004-04-14 kleing 2004-04-14 use more symbols in HTML output
2001-11-09 wenzelm 2001-11-09 eliminated old "symbols" syntax, use "xsymbols" instead;
2000-11-14 paulson 2000-11-14 x-symbol support for Pi, Sigma, -->, : (membership) note that "lam" is displayed as TWO lambda-symbols
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