isabelle: Changelog

kleing [Mon, 25 Mar 2013 15:18:44 +0100] rev 51514

simp_const -> afold; bfold -> fold'; bsimp_const -> bfold

nipkow [Mon, 25 Mar 2013 15:09:41 +0100] rev 51513

added lemmas

wenzelm [Mon, 25 Mar 2013 14:07:59 +0100] rev 51512

merged

wenzelm [Mon, 25 Mar 2013 14:04:01 +0100] rev 51511

clarified text_fold vs. fbrk;

wenzelm [Mon, 25 Mar 2013 13:37:44 +0100] rev 51510

tuned print_classes: more standard order, markup, formatting; uniform printing of minimal supersort/classrel;

wenzelm [Mon, 25 Mar 2013 11:05:07 +0100] rev 51509

tuned message;

wenzelm [Mon, 25 Mar 2013 10:45:47 +0100] rev 51508

actually exit on scalac failure;

wenzelm [Mon, 25 Mar 2013 10:37:38 +0100] rev 51507

tuned signature;

kleing [Mon, 25 Mar 2013 13:50:50 +0100] rev 51506

removed obsolete uses of ext

wenzelm [Sun, 24 Mar 2013 16:19:54 +0100] rev 51505

prefer preset = 3 -- much faster and less memory requirement;

isabelle