isabelle: Changelog

wenzelm [Sat, 31 Aug 2013 00:40:21 +0200] rev 53340

merged

wenzelm [Sat, 31 Aug 2013 00:39:59 +0200] rev 53339

tuned proofs;

wenzelm [Fri, 30 Aug 2013 23:41:09 +0200] rev 53338

simplified (see 7c39677f9ea0);

wenzelm [Fri, 30 Aug 2013 23:38:18 +0200] rev 53337

sort items according to persistent history of frequency of use;

wenzelm [Fri, 30 Aug 2013 22:22:07 +0200] rev 53336

more general backup files;

panny [Fri, 30 Aug 2013 21:43:15 +0200] rev 53335

fixed bug in primrec_new (allow indirect recursion through constructor arguments other than the first)

wenzelm [Fri, 30 Aug 2013 21:14:38 +0200] rev 53334

some tests on /home/polyml/polyml-svn, which is approaching polyml-5.5.1;

wenzelm [Fri, 30 Aug 2013 18:22:17 +0200] rev 53333

tuned proofs;

traytel [Fri, 30 Aug 2013 15:54:23 +0200] rev 53332

Doc improvements

traytel [Fri, 30 Aug 2013 15:36:00 +0200] rev 53331

prove theorem in the right context (that knows about local variables)

isabelle