isabelle: Changelog

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;

wenzelm [Thu, 26 Apr 2007 16:39:10 +0200] rev 22816

added header; tuned presentation;

haftmann [Thu, 26 Apr 2007 16:24:13 +0200] rev 22815

added

isabelle