isabelle: Changelog

kleing [Thu, 14 Jun 2007 09:54:14 +0200] rev 23382

clarified who we consider to be a contributor

chaieb [Thu, 14 Jun 2007 09:37:38 +0200] rev 23381

Fixed Problem with ML-bindings for thm names;

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;

isabelle