isabelle: Changelog

immler [Mon, 05 Feb 2018 08:30:19 +0100] rev 67573

added lemmas, avoid 'float_of 0'

wenzelm [Sat, 03 Feb 2018 20:46:28 +0100] rev 67572

clarified signature;

wenzelm [Sat, 03 Feb 2018 20:34:26 +0100] rev 67571

more uniform treatment of formal comments within document source; more robust nesting;

wenzelm [Sat, 03 Feb 2018 15:34:22 +0100] rev 67570

just one check of formal comments;

wenzelm [Sat, 03 Feb 2018 14:39:17 +0100] rev 67569

avoid proliferation of language_document reports; clarified signature;

wenzelm [Sat, 03 Feb 2018 14:32:12 +0100] rev 67568

more external tools for AFP test;

wenzelm [Sat, 03 Feb 2018 13:54:04 +0100] rev 67567

clarified overall range: include delimiters;

nipkow [Fri, 02 Feb 2018 11:47:13 +0100] rev 67566

added lemma

wenzelm [Thu, 01 Feb 2018 20:29:53 +0100] rev 67565

tuned: more standard use of order;

wenzelm [Thu, 01 Feb 2018 17:27:13 +0100] rev 67564

tuned;

isabelle