isabelle: Changelog

wenzelm [Sat, 09 Jun 2007 00:28:46 +0200] rev 23297

simplified type integer;

berghofe [Fri, 08 Jun 2007 18:13:58 +0200] rev 23296

Adapted Proofterm.bicompose_proof to Larry's changes in Logic.assum_pairs from 2005-01-24 (revision 1.44).

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

isabelle