src/CTT/CTT.thy
2013-02-28 wenzelm eliminated legacy 'axioms';
2012-08-22 wenzelm prefer ML_file over old uses;
2011-01-12 wenzelm eliminated global prems;
2010-12-20 wenzelm proper identifiers for consts and types;
2010-09-20 wenzelm renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
2010-03-13 wenzelm removed old CVS Ids;
2010-02-08 wenzelm modernized some syntax translations;
2008-06-16 wenzelm pervasive RuleInsts;
2008-06-14 wenzelm proper context for tactics derived from res_inst_tac;
2008-05-18 wenzelm setup PureThy.old_appl_syntax_setup -- theory Pure provides regular application syntax by default;
2008-03-25 wenzelm more antiquotations;
2007-06-21 wenzelm tuned proofs -- avoid implicit prems;
2007-04-26 wenzelm eliminated unnamed infixes, tuned syntax;
2006-11-26 wenzelm updated (binder) syntax/notation;
2006-11-17 wenzelm more robust syntax for definition/abbreviation/notation;
2006-11-07 wenzelm renamed 'const_syntax' to 'notation';
2006-06-02 wenzelm removed obsolete ML files;
2005-10-07 wenzelm replaced _K by dummy abstraction;
2005-09-16 wenzelm converted to Isar theory format;
2004-06-01 wenzelm removed obsolete sort 'logic';
2004-05-21 wenzelm proper use of 'syntax';
2004-04-14 kleing use more symbols in HTML output
2001-11-08 wenzelm eliminated old "symbols" syntax, use "xsymbols" instead;
2000-11-14 paulson x-symbol support for Pi, Sigma, -->, : (membership)
1997-10-10 wenzelm fixed dots;
1995-06-21 clasohm removed \...\ inside strings
1994-03-17 lcp new type declaration syntax instead of numbers
1993-10-04 wenzelm replaced id by idt;
1993-09-16 clasohm Initial revision
less more (0) tip