isabelle: Changelog

haftmann [Fri, 05 Dec 2008 08:04:53 +0100] rev 28991

dropped NameSpace.declare_base

huffman [Thu, 04 Dec 2008 18:37:46 -0800] rev 28990

fix proofs

huffman [Thu, 04 Dec 2008 16:44:37 -0800] rev 28989

merged.

huffman [Thu, 04 Dec 2008 16:28:09 -0800] rev 28988

revert to using eq_number_of_eq for simplification (Groebner_Examples.thy was broken)

huffman [Thu, 04 Dec 2008 16:05:45 -0800] rev 28987

remove duplicated lemmas

huffman [Thu, 04 Dec 2008 13:30:09 -0800] rev 28986

include iszero_simps in lemmas comp_arith

huffman [Thu, 04 Dec 2008 12:32:38 -0800] rev 28985

add named lemma lists: neg_simps and iszero_simps

huffman [Thu, 04 Dec 2008 11:14:24 -0800] rev 28984

change arith_special simps to avoid using neg

kleing [Fri, 05 Dec 2008 11:35:07 +1100] rev 28983

merged

kleing [Fri, 05 Dec 2008 11:33:03 +1100] rev 28982

run test for sunbroy2 on /tmp, be careful about removing old test dir

isabelle