isabelle: Changelog

traytel [Mon, 26 Aug 2013 14:14:33 +0200] rev 53204

tuned

traytel [Mon, 26 Aug 2013 13:44:46 +0200] rev 53203

moved derivation of ctor_dtor_unfold to sugar (streamlines fp_result interface)

blanchet [Mon, 26 Aug 2013 12:14:41 +0200] rev 53202

export one more ML function, needed for primcorec

blanchet [Mon, 26 Aug 2013 12:14:40 +0200] rev 53201

reverted 6c5e7143e1f6; took a better look at evaluation data this time

wenzelm [Mon, 26 Aug 2013 11:42:35 +0200] rev 53200

tuned unchecked ML;

wenzelm [Mon, 26 Aug 2013 11:41:17 +0200] rev 53199

removed junk;

wenzelm [Mon, 26 Aug 2013 10:33:16 +0200] rev 53198

ignore trailing primes, e.g. rename \<alpha>' to \<alpha>'' instead of \<alpha>'a;

blanchet [Mon, 26 Aug 2013 09:07:32 +0200] rev 53197

tuned fudge factor in light of evaluation

wenzelm [Sun, 25 Aug 2013 23:20:25 +0200] rev 53196

tuned proofs;

wenzelm [Sun, 25 Aug 2013 21:25:17 +0200] rev 53195

tuned proofs;

isabelle