isabelle: Changelog

wenzelm [Thu, 31 May 2007 18:16:57 +0200] rev 23166

proper loading of ML files (in HOL.thy); moved Integ files to canonical place; misc cleanup;

wenzelm [Thu, 31 May 2007 18:16:54 +0200] rev 23165

HOL_proofs;

wenzelm [Thu, 31 May 2007 18:16:52 +0200] rev 23164

moved Integ files to canonical place;

wenzelm [Thu, 31 May 2007 18:16:51 +0200] rev 23163

proper loading of ML files;

wenzelm [Thu, 31 May 2007 18:16:50 +0200] rev 23162

removed dead code;

wenzelm [Thu, 31 May 2007 18:16:47 +0200] rev 23161

tuned header;

wenzelm [Thu, 31 May 2007 18:16:46 +0200] rev 23160

doc: exclude isabelle_isar.pdf;

urbanc [Thu, 31 May 2007 15:23:35 +0200] rev 23159

tuned the proof

urbanc [Thu, 31 May 2007 14:47:20 +0200] rev 23158

introduced symmetric variants of the lemmas for alpha-equivalence

wenzelm [Thu, 31 May 2007 14:34:09 +0200] rev 23157

proper loading of ML files; removed obsolete IFOL.thy/FOL.thy values;

isabelle