isabelle: Changelog

blanchet [Tue, 02 Oct 2012 01:00:18 +0200] rev 49682

removed dead params and dead code

blanchet [Tue, 02 Oct 2012 01:00:18 +0200] rev 49681

changed type of corecursor for the nested recursion case

blanchet [Tue, 02 Oct 2012 01:00:18 +0200] rev 49680

made (co)rec tactic more robust when the simplifier succeeds early

wenzelm [Mon, 01 Oct 2012 20:38:57 +0200] rev 49679

tuned;

wenzelm [Mon, 01 Oct 2012 20:35:09 +0200] rev 49678

removed unused module Blob;

wenzelm [Mon, 01 Oct 2012 20:17:30 +0200] rev 49677

more direct message header: eliminated historic encoding via single letter;

wenzelm [Mon, 01 Oct 2012 20:16:37 +0200] rev 49676

tuned whitespace;

wenzelm [Mon, 01 Oct 2012 17:29:00 +0200] rev 49675

tuned proofs;

wenzelm [Mon, 01 Oct 2012 16:37:22 +0200] rev 49674

report sort assignment of visible type variables;

wenzelm [Mon, 01 Oct 2012 12:05:05 +0200] rev 49673

more robust File.eq, and thus File.copy of "~~/lib/logo/isabelle.gif";

isabelle