wenzelm [Wed, 17 May 2006 22:34:45 +0200] rev 19677
replaced early'' flag by inverted authentic'';
wenzelm [Wed, 17 May 2006 22:34:44 +0200] rev 19676
renamed CONST to CONSTANT;
paulson [Wed, 17 May 2006 12:28:47 +0200] rev 19675
removing the string array from the result of get_clasimp_atp_lemmas
wenzelm [Wed, 17 May 2006 01:23:48 +0200] rev 19674
const_syntax;
wenzelm [Wed, 17 May 2006 01:23:46 +0200] rev 19673
always preserve authentic consts -- removed Syntax.mixfix_const;
wenzelm [Wed, 17 May 2006 01:23:44 +0200] rev 19672
tuned;
wenzelm [Wed, 17 May 2006 01:23:43 +0200] rev 19671
removed outdated/redundant comments;
wenzelm [Wed, 17 May 2006 01:23:41 +0200] rev 19670
prefer 'definition' over low-level defs;
tuned source/document;
wenzelm [Wed, 17 May 2006 01:23:40 +0200] rev 19669
tuned source/document;
wenzelm [Tue, 16 May 2006 21:34:06 +0200] rev 19668
hide const subst;
wenzelm [Tue, 16 May 2006 21:33:26 +0200] rev 19667
tuned;
wenzelm [Tue, 16 May 2006 21:33:24 +0200] rev 19666
const_syntax;
wenzelm [Tue, 16 May 2006 21:33:23 +0200] rev 19665
* Isar/locale: 'const_syntax';
wenzelm [Tue, 16 May 2006 21:33:21 +0200] rev 19664
added const_syntax(_i);
wenzelm [Tue, 16 May 2006 21:33:18 +0200] rev 19663
export consts_of;
added add_const_syntax;
tuned interface;
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;
paulson [Tue, 16 May 2006 18:20:26 +0200] rev 19652
replaced references to the robot by the mailing list page
urbanc [Tue, 16 May 2006 14:11:39 +0200] rev 19651
added a much simpler proof for the iteration and
recursion combinator - this also fixes a bug which
prevented the nightly build from being build (sorry)
wenzelm [Tue, 16 May 2006 13:05:37 +0200] rev 19650
Amine Chaieb: Ferrante and Rackoff Algorithm;
wenzelm [Tue, 16 May 2006 13:05:14 +0200] rev 19649
Sign.certify_sort;
wenzelm [Tue, 16 May 2006 13:01:31 +0200] rev 19648
tuned;