isabelle: Changelog

blanchet [Thu, 28 Aug 2014 16:58:26 +0200] rev 58072

tuned method description

blanchet [Thu, 28 Aug 2014 16:58:26 +0200] rev 58071

three-line 'obtain' format for generated Isar proofs

wenzelm [Thu, 28 Aug 2014 15:51:50 +0200] rev 58070

tuned;

wenzelm [Thu, 28 Aug 2014 15:47:26 +0200] rev 58069

more liberal embedded "text", which includes cartouches;

wenzelm [Thu, 28 Aug 2014 13:25:12 +0200] rev 58068

intern xthm only once;

blanchet [Thu, 28 Aug 2014 07:34:23 +0200] rev 58067

tuned terminology

blanchet [Thu, 28 Aug 2014 07:30:16 +0200] rev 58066

moved new para to right section of NEWS

blanchet [Thu, 28 Aug 2014 00:40:38 +0200] rev 58065

minor NEWS fix

blanchet [Thu, 28 Aug 2014 00:40:38 +0200] rev 58064

keep skolems as is -- otherwise this breaks proof steps that refer to variables that were 'obtain'ed in the outer Isar proof

blanchet [Thu, 28 Aug 2014 00:40:38 +0200] rev 58063

added 'OLD_' prefix in front of old solvers

isabelle