isabelle: Changelog

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)

blanchet [Fri, 30 Aug 2013 15:05:04 +0200] rev 53330

fixed docs w.r.t. availability of "primrec_new" and friends

blanchet [Fri, 30 Aug 2013 14:17:19 +0200] rev 53329

more canonical naming

nipkow [Fri, 30 Aug 2013 14:07:49 +0200] rev 53328

more set syntax

wenzelm [Fri, 30 Aug 2013 13:46:32 +0200] rev 53327

merged

isabelle