NEWS
2011-09-09 krauss 2011-09-09 added syntactic classes for "inf" and "sup"
2011-09-07 huffman 2011-09-07 merged
2011-09-07 huffman 2011-09-07 remove duplicate lemma real_of_int_real_of_nat in favor of real_of_int_of_nat_eq
2011-09-08 wenzelm 2011-09-08 merged
2011-09-07 haftmann 2011-09-07 theory of saturated naturals contributed by Peter Gammie
2011-09-07 wenzelm 2011-09-07 NEWS on IsabelleText font;
2011-09-07 wenzelm 2011-09-07 some updates for release;
2011-09-07 wenzelm 2011-09-07 some tuning for release;
2011-09-07 wenzelm 2011-09-07 more NEWS;
2011-09-06 wenzelm 2011-09-06 some Isabelle/jEdit NEWS;
2011-09-06 huffman 2011-09-06 remove redundant lemma real_sum_squared_expand in favor of power2_sum
2011-09-06 huffman 2011-09-06 remove redundant lemma LIMSEQ_Complex in favor of tendsto_Complex
2011-09-04 huffman 2011-09-04 remove redundant lemmas expi_add and expi_zero
2011-09-04 huffman 2011-09-04 remove redundant lemmas about LIMSEQ
2011-09-03 huffman 2011-09-03 remove duplicate lemma finite_choice in favor of finite_set_choice
2011-09-02 huffman 2011-09-02 remove redundant lemma reals_complete2 in favor of complete_real
2011-09-02 huffman 2011-09-02 remove more duplicate lemmas
2011-09-01 huffman 2011-09-01 simplify some proofs about uniform continuity, and add some new ones; rename some theorems according to standard naming scheme;
2011-09-01 huffman 2011-09-01 modernize lemmas about 'continuous' and 'continuous_on'; improve automation of continuity proofs;
2011-08-28 huffman 2011-08-28 discontinue many legacy theorems about LIM and LIMSEQ, in favor of tendsto theorems
2011-08-26 huffman 2011-08-26 NEWS entry for setsum_norm ~> norm_setsum
2011-08-25 huffman 2011-08-25 replace some continuous_on lemmas with more general versions
2011-08-25 huffman 2011-08-25 remove legacy theorem Lim_inner
2011-08-25 huffman 2011-08-25 remove dot_lsum and dot_rsum in favor of inner_setsum_{left,right}
2011-08-25 huffman 2011-08-25 rename subset_{interior,closure} to {interior,closure}_mono; remove some legacy theorem names;
2011-08-19 haftmann 2011-08-19 more concise definition for Inf, Sup on bool
2011-08-18 huffman 2011-08-18 remove bounded_(bi)linear locale interpretations, to avoid duplicating so many lemmas
2011-08-18 nipkow 2011-08-18 case_names NEWS
2011-08-10 huffman 2011-08-10 more uniform naming scheme for finite cartesian product type and related theorems
2011-08-09 haftmann 2011-08-09 more uniform naming scheme for Inf/INF and Sup/SUP lemmas
2011-08-09 haftmann 2011-08-09 merged
2011-08-08 haftmann 2011-08-08 dropped lemmas (Inf|Sup)_(singleton|binary)
2011-08-08 huffman 2011-08-08 rename type 'a net to 'a filter, following standard mathematical terminology
2011-08-04 haftmann 2011-08-04 NEWS
2011-08-03 bulwahn 2011-08-03 NEWS
2011-08-02 huffman 2011-08-02 Extended_Nat.thy: renamed iSuc to eSuc, standardized theorem names
2011-08-02 huffman 2011-08-02 NEWS: fix typo
2011-08-02 krauss 2011-08-02 NEWS
2011-07-25 haftmann 2011-07-25 merged
2011-07-24 haftmann 2011-07-24 more coherent structure in and across theories
2011-07-25 bulwahn 2011-07-25 NEWS
2011-07-20 haftmann 2011-07-20 class complete_linorder
2011-07-18 haftmann 2011-07-18 avoid misunderstandable names
2011-07-17 haftmann 2011-07-17 more on complement
2011-07-17 haftmann 2011-07-17 more consistent theorem names
2011-07-17 haftmann 2011-07-17 further generalization from sets to complete lattices
2011-07-13 haftmann 2011-07-13 uniqueness lemmas for bot and top
2011-07-13 haftmann 2011-07-13 adjusted to tightened specification of classes bot and top
2011-07-11 wenzelm 2011-07-11 NEWS;
2011-07-10 wenzelm 2011-07-10 merged;
2011-07-10 bulwahn 2011-07-10 improved NEWS
2011-07-09 bulwahn 2011-07-09 NEWS
2011-07-10 wenzelm 2011-07-10 inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control); tuned signature;
2011-07-08 wenzelm 2011-07-08 discontinued special treatment of hard tabulators;
2011-07-01 blanchet 2011-07-01 update documentation after "type_enc" renaming + fixed a few other out-of-date factlets
2011-07-01 bulwahn 2011-07-01 adding a minimalistic documentation of the value antiquotation in the Isar reference manual
2011-06-27 wenzelm 2011-06-27 merged
2011-06-27 blanchet 2011-06-27 minor Sledgehammer news
2011-06-27 blanchet 2011-06-27 document changes to Sledgehammer and "try"
2011-06-27 wenzelm 2011-06-27 NEWS;