isabelle: Changelog

nipkow [Thu, 14 Jun 2007 07:27:55 +0200] rev 23380

fixed filter syntax

wenzelm [Thu, 14 Jun 2007 00:48:42 +0200] rev 23379

updated 'find_theorems' -- moved ProofGeneral specifics to ProofGeneral/CHANGES;

wenzelm [Thu, 14 Jun 2007 00:22:45 +0200] rev 23378

tuned proofs: avoid implicit prems;

huffman [Wed, 13 Jun 2007 19:14:51 +0200] rev 23377

int abbreviates of_nat

wenzelm [Wed, 13 Jun 2007 18:30:17 +0200] rev 23376

tuned proofs: avoid implicit prems; tuned;

wenzelm [Wed, 13 Jun 2007 18:30:16 +0200] rev 23375

tuned proofs: avoid implicit prems; major cleanup of proofs/document;

wenzelm [Wed, 13 Jun 2007 18:30:15 +0200] rev 23374

tuned comments;

wenzelm [Wed, 13 Jun 2007 18:30:11 +0200] rev 23373

tuned proofs: avoid implicit prems;

huffman [Wed, 13 Jun 2007 16:43:02 +0200] rev 23372

clean up instance proofs; reorganize section headings

wenzelm [Wed, 13 Jun 2007 14:21:54 +0200] rev 23371

reactivated theory Class;

isabelle