isabelle: Changelog

wenzelm [Mon, 30 Apr 2007 13:32:58 +0200] rev 22826

explicit treatment of legacy_features;

paulson [Mon, 30 Apr 2007 13:22:35 +0200] rev 22825

Fixing bugs in the partial-typed and fully-typed translations

paulson [Mon, 30 Apr 2007 13:22:15 +0200] rev 22824

Removal of dead code

urbanc [Fri, 27 Apr 2007 18:50:27 +0200] rev 22823

tuned some proofs in CR and properly included CR_Takahashi

wenzelm [Fri, 27 Apr 2007 16:31:20 +0200] rev 22822

removed obsolete induct/simp tactic;

urbanc [Fri, 27 Apr 2007 14:21:23 +0200] rev 22821

alternative and much simpler proof for Church-Rosser of Beta-Reduction

kleing [Fri, 27 Apr 2007 05:53:37 +0200] rev 22820

use correct email program for sunbroy2

wenzelm [Thu, 26 Apr 2007 16:39:31 +0200] rev 22819

removed legacy ML files;

wenzelm [Thu, 26 Apr 2007 16:39:14 +0200] rev 22818

eliminated unnamed infixes;

wenzelm [Thu, 26 Apr 2007 16:39:11 +0200] rev 22817

added header;

isabelle