isabelle: Changelog

chaieb [Fri, 08 Jun 2007 18:09:37 +0200] rev 23295

Method "algebra" solves polynomial equations over (semi)rings

huffman [Fri, 08 Jun 2007 03:24:27 +0200] rev 23294

generalize zpower_number_of_{even,odd} lemmas

obua [Thu, 07 Jun 2007 17:21:43 +0200] rev 23293

deleted comments

obua [Thu, 07 Jun 2007 14:26:05 +0200] rev 23292

deleted legacy lemmas

nipkow [Thu, 07 Jun 2007 11:25:27 +0200] rev 23291

somebody elses problem fixed

nipkow [Thu, 07 Jun 2007 11:25:05 +0200] rev 23290

filter syntax change

huffman [Thu, 07 Jun 2007 04:33:15 +0200] rev 23289

remove redundant lemmas

huffman [Thu, 07 Jun 2007 03:45:56 +0200] rev 23288

remove references to preal-specific theorems

huffman [Thu, 07 Jun 2007 03:11:31 +0200] rev 23287

define (1::preal); clean up instance declarations

huffman [Thu, 07 Jun 2007 02:34:37 +0200] rev 23286

tuned

isabelle