isabelle: Changelog

chaieb [Wed, 06 Jun 2007 16:12:08 +0200] rev 23274

New Reflected Presburger added to HOL/ex

wenzelm [Tue, 05 Jun 2007 22:47:49 +0200] rev 23273

Groebner Basis Examples.

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

isabelle