isabelle: Changelog

huffman [Wed, 09 Apr 2008 05:30:14 +0200] rev 26584

move lemmas from Word/BinBoolList.thy to List.thy

krauss [Tue, 08 Apr 2008 20:14:36 +0200] rev 26583

fixed makefiles

krauss [Tue, 08 Apr 2008 20:09:54 +0200] rev 26582

added missing file

wenzelm [Tue, 08 Apr 2008 19:17:34 +0200] rev 26581

tuned;

krauss [Tue, 08 Apr 2008 18:30:40 +0200] rev 26580

Generic conversion and tactic "atomize_elim" to convert elimination rules to the object logic

wenzelm [Tue, 08 Apr 2008 15:47:15 +0200] rev 26579

obsolete;

wenzelm [Tue, 08 Apr 2008 15:47:14 +0200] rev 26578

removed isatool expandshort; added isatool yxml;

wenzelm [Tue, 08 Apr 2008 15:47:12 +0200] rev 26577

removed obsolete AUTO_BASH feature;

wenzelm [Tue, 08 Apr 2008 15:47:10 +0200] rev 26576

removed obsolete AUTO_PERL feature;

wenzelm [Tue, 08 Apr 2008 15:47:05 +0200] rev 26575

support for YXML notation -- XML done right;

isabelle