wenzelm [Tue, 05 Jun 2007 22:46:59 +0200] rev 23272
print_antiquotations: sort_strings;
wenzelm [Tue, 05 Jun 2007 22:46:58 +0200] rev 23271
tuned document;
added Groebner_Examples;
wenzelm [Tue, 05 Jun 2007 22:46:57 +0200] rev 23270
tuned source deps;
wenzelm [Tue, 05 Jun 2007 22:46:56 +0200] rev 23269
simplified/renamed add_numerals;
wenzelm [Tue, 05 Jun 2007 22:46:55 +0200] rev 23268
renamed ex/Eval_Examples.thy;
wenzelm [Tue, 05 Jun 2007 22:46:55 +0200] rev 23267
added ex/Groebner_Examples.thy;
renamed ex/Eval_Examples.thy;
wenzelm [Tue, 05 Jun 2007 22:46:53 +0200] rev 23266
tuned document;
chaieb [Tue, 05 Jun 2007 20:46:25 +0200] rev 23265
Added two examples in Complex/ex :Reflected QE for linear real arith and QE for mixed integer real linear arithmetic
chaieb [Tue, 05 Jun 2007 20:44:12 +0200] rev 23264
Added twe Examples for Quantifier elimination ofer linear real arithmetic and over the mixed theory of linear real artihmetic with integers
haftmann [Tue, 05 Jun 2007 19:23:09 +0200] rev 23263
tuned boostrap
haftmann [Tue, 05 Jun 2007 19:22:01 +0200] rev 23262
eliminated Code_Generator.thy
haftmann [Tue, 05 Jun 2007 19:19:30 +0200] rev 23261
tuned integers
wenzelm [Tue, 05 Jun 2007 18:36:10 +0200] rev 23260
tuned;
wenzelm [Tue, 05 Jun 2007 18:36:09 +0200] rev 23259
fixed type int vs. integer;
wenzelm [Tue, 05 Jun 2007 18:36:07 +0200] rev 23258
renamed locale ring/semiring to gb_ring/gb_semiring to avoid clash with Ring_and_Field versions;
huffman [Tue, 05 Jun 2007 17:16:41 +0200] rev 23257
add new lemmas