isabelle: Changelog

nipkow [Thu, 24 May 2007 07:27:44 +0200] rev 23085

Introduced new classes monoid_add and group_add

huffman [Wed, 23 May 2007 19:23:22 +0200] rev 23084

add lemma complete_algebra_summable_geometric

paulson [Wed, 23 May 2007 14:52:12 +0200] rev 23083

formatting

huffman [Wed, 23 May 2007 07:00:18 +0200] rev 23082

generalize powerseries and termdiffs lemmas using axclasses

huffman [Wed, 23 May 2007 02:50:19 +0200] rev 23081

remove unused simproc definition

huffman [Wed, 23 May 2007 02:33:42 +0200] rev 23080

remove redundant simproc; remove legacy ML bindings

huffman [Wed, 23 May 2007 01:46:15 +0200] rev 23079

remove redundant simproc

huffman [Tue, 22 May 2007 21:32:04 +0200] rev 23078

new simp rule Infinitesimal_of_hypreal_iff

huffman [Tue, 22 May 2007 19:58:54 +0200] rev 23077

removed redundant lemmas

huffman [Tue, 22 May 2007 19:47:55 +0200] rev 23076

generalize uniqueness of limits to class real_normed_algebra_1

isabelle