isabelle: Changelog

wenzelm [Tue, 16 May 2006 21:33:16 +0200] rev 19662

replaced abbrevs by term_syntax, which is both simpler and more general;

wenzelm [Tue, 16 May 2006 21:33:14 +0200] rev 19661

added syntax interface; tuned interface;

wenzelm [Tue, 16 May 2006 21:33:11 +0200] rev 19660

added add_modesyntax; tuned;

wenzelm [Tue, 16 May 2006 21:33:09 +0200] rev 19659

added 'const_syntax';

wenzelm [Tue, 16 May 2006 21:33:07 +0200] rev 19658

added add_const_syntax, add_consts_authentic; tuned interface;

wenzelm [Tue, 16 May 2006 21:33:05 +0200] rev 19657

added syntax interface;

wenzelm [Tue, 16 May 2006 21:33:01 +0200] rev 19656

tuned concrete syntax -- abbreviation/const_syntax;

wenzelm [Tue, 16 May 2006 21:32:56 +0200] rev 19655

updated;

wenzelm [Tue, 16 May 2006 20:28:02 +0200] rev 19654

updated;

wenzelm [Tue, 16 May 2006 18:31:46 +0200] rev 19653

* Pure/library: divide_and_conquer; * Theory Real: new method ferrack;

isabelle