isabelle: Changelog

huffman [Thu, 17 May 2007 08:53:57 +0200] rev 22988

generalize some lemmas from field to division_ring

huffman [Thu, 17 May 2007 08:42:51 +0200] rev 22987

instance division_ring < no_zero_divisors; clean up field instance proofs

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

isabelle