isabelle: Changelog

huffman [Thu, 17 May 2007 08:41:23 +0200] rev 22986

remove redundant instance declaration

huffman [Thu, 17 May 2007 00:45:27 +0200] rev 22985

cleaned up proof of Maclaurin_sin_bound

huffman [Wed, 16 May 2007 23:07:08 +0200] rev 22984

section labels

huffman [Wed, 16 May 2007 23:03:45 +0200] rev 22983

minimize imports

chaieb [Wed, 16 May 2007 09:45:22 +0200] rev 22982

dropped |R

chaieb [Tue, 15 May 2007 18:28:02 +0200] rev 22981

A verified theory for rational numbers representation and simple calculations; verified with respect to the real numbers;

berghofe [Tue, 15 May 2007 18:20:07 +0200] rev 22980

Fixed bug that caused proof of induction theorem to fail if introduction rules contained True or False.

huffman [Tue, 15 May 2007 08:10:31 +0200] rev 22979

minimize imports

huffman [Tue, 15 May 2007 07:28:08 +0200] rev 22978

clean up polar_Ex proofs; remove unnecessary lemmas

huffman [Tue, 15 May 2007 05:09:01 +0200] rev 22977

remove simp attribute from various polar_Ex lemmas

isabelle