isabelle: Changelog

nipkow [Mon, 11 Mar 2013 18:33:21 +0100] rev 51391

tuned

nipkow [Mon, 11 Mar 2013 12:27:31 +0100] rev 51390

more factorisation of Step & Co

nipkow [Sun, 10 Mar 2013 18:29:10 +0100] rev 51389

factored out Step

nipkow [Sun, 10 Mar 2013 14:36:18 +0100] rev 51388

merged

nipkow [Sun, 10 Mar 2013 14:36:03 +0100] rev 51387

stepwise instantiation is more modular

haftmann [Sun, 10 Mar 2013 11:21:16 +0100] rev 51386

generalized subclass relation; tuned proof

nipkow [Sun, 10 Mar 2013 10:10:01 +0100] rev 51385

termination proof for narrowing: fewer assumptions

wenzelm [Sat, 09 Mar 2013 18:22:20 +0100] rev 51384

accomodate encrypted file-system on linux;

wenzelm [Sat, 09 Mar 2013 13:01:24 +0100] rev 51383

tuned;

haftmann [Sat, 09 Mar 2013 11:56:01 +0100] rev 51382

discontinued theory src/HOL/Library/Eval_Witness -- assumptions do not longer hold in presence of abstract types

isabelle