isabelle: Changelog

wenzelm [Wed, 17 Oct 2012 10:26:27 +0200] rev 49886

more formal markup;

kuncar [Wed, 17 Oct 2012 00:16:31 +0200] rev 49885

don't be so aggressive when expanding a transfer rule relation; rewrite only the relational part of the rule

wenzelm [Tue, 16 Oct 2012 22:38:34 +0200] rev 49884

merged

blanchet [Tue, 16 Oct 2012 20:31:08 +0200] rev 49883

added missing file

traytel [Tue, 16 Oct 2012 20:11:15 +0200] rev 49882

tuned for document output

blanchet [Tue, 16 Oct 2012 18:50:53 +0200] rev 49881

added proof minimization code from Steffen Smolka

traytel [Tue, 16 Oct 2012 18:07:59 +0200] rev 49880

tuned blank lines

traytel [Tue, 16 Oct 2012 18:05:28 +0200] rev 49879

tuned whitespace

popescua [Tue, 16 Oct 2012 17:33:08 +0200] rev 49878

a few notations changed in HOL/BNF/Examples/Derivation_Trees

popescua [Tue, 16 Oct 2012 17:08:20 +0200] rev 49877

ported HOL/BNF/Examples/Derivation_Trees to the latest status of the codatatype package

isabelle