isabelle: Changelog

paulson [Thu, 14 Jun 2007 13:18:59 +0200] rev 23386

Now also handles FO problems

paulson [Thu, 14 Jun 2007 13:18:24 +0200] rev 23385

Deleted unused code

paulson [Thu, 14 Jun 2007 13:16:44 +0200] rev 23384

tidied

wenzelm [Thu, 14 Jun 2007 10:38:48 +0200] rev 23383

tuned proofs: avoid implicit prems;

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

isabelle