kleing [Sun, 12 Feb 2006 12:29:01 +0100] rev 19023
* include generalised MVT in HyperReal (contributed by Benjamin Porter)
* add non-denumerability of continuum in Real, includes closed intervals on real
(contributed by Benjamin Porter, #22 in http://www.cs.ru.nl/~freek/100/)
kleing [Sun, 12 Feb 2006 10:42:19 +0100] rev 19022
* moved ThreeDivides from Isar_examples to better suited HOL/ex
* moved 2 summation lemmas from ThreeDivides to SetInterval
kleing [Sun, 12 Feb 2006 04:31:18 +0100] rev 19021
divisibility by 3 theorem, contributed by Benjamin Porter,
#85 in http://www.cs.ru.nl/~freek/100/
wenzelm [Sat, 11 Feb 2006 17:17:55 +0100] rev 19020
replaced mixfix_conflict by mixfix_content;
wenzelm [Sat, 11 Feb 2006 17:17:54 +0100] rev 19019
added map_theory;
added rename_frees;
removed custom_accesses;
added qualified_force_prefix;
tuned local syntax;
wenzelm [Sat, 11 Feb 2006 17:17:53 +0100] rev 19018
added abbreviations: activated by init, no expressions yet;
wenzelm [Sat, 11 Feb 2006 17:17:52 +0100] rev 19017
added restore;
consts: provide abbreviations;
wenzelm [Sat, 11 Feb 2006 17:17:51 +0100] rev 19016
tuned mixfixes, mixfix_conflict;
wenzelm [Sat, 11 Feb 2006 17:17:50 +0100] rev 19015
removed custom_accesses;
added suffixes_prefixes_split, qualified_force_prefix;
wenzelm [Sat, 11 Feb 2006 17:17:49 +0100] rev 19014
added variant_name;