isabelle: Changelog

huffman [Thu, 21 Jun 2007 22:52:22 +0200] rev 23469

add thm antiquotations

huffman [Thu, 21 Jun 2007 22:30:58 +0200] rev 23468

changed simp rules for of_nat

wenzelm [Thu, 21 Jun 2007 22:10:16 +0200] rev 23467

tuned proofs -- avoid implicit prems;

wenzelm [Thu, 21 Jun 2007 20:48:48 +0200] rev 23466

moved quantifier elimination tools to Tools/Qelim/;

wenzelm [Thu, 21 Jun 2007 20:48:47 +0200] rev 23465

moved Presburger setup back to Presburger.thy;

wenzelm [Thu, 21 Jun 2007 20:07:26 +0200] rev 23464

tuned proofs -- avoid implicit prems;

wenzelm [Thu, 21 Jun 2007 17:28:53 +0200] rev 23463

tuned proofs -- avoid implicit prems;

wenzelm [Thu, 21 Jun 2007 17:28:50 +0200] rev 23462

renamed NatSimprocs.thy to Arith_Tools.thy; incorporated HOL/Presburger.thy into NatSimprocs.thy;

wenzelm [Thu, 21 Jun 2007 15:42:15 +0200] rev 23461

tuned;

wenzelm [Thu, 21 Jun 2007 15:42:14 +0200] rev 23460

adapted tool setup;

isabelle