src/HOL/Set.thy
2018-02-19 paulson lots of new material, ultimately related to measure theory
2018-02-15 wenzelm more symbols;
2018-01-16 wenzelm standardized towards new-style formal comments: isabelle update_comments;
2018-01-11 nipkow line break before op was intentional
2018-01-10 nipkow tuned notation
2018-01-10 nipkow Manual updates towards conversion of "op" syntax
2017-12-31 paulson Restored correct spacing for set comprehensions
2017-12-22 paulson new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product
2017-11-26 wenzelm more symbols;
2017-11-11 haftmann dedicated definition for coprimality
2017-10-08 haftmann canonical introduction and destruction rules for pairwise
2016-09-29 hoelzl HOL-Analysis: prove that a starlike set is negligible (based on HOL Light proof ported by L. C. Paulson)
2016-09-28 paulson new material connected with HOL Light measure theory, plus more rationalisation
2016-09-22 paulson More mainly topological results
2016-09-15 paulson simple new lemmas, mostly about sets
2016-08-02 wenzelm misc tuning and modernization;
2016-07-05 wenzelm misc tuning and modernization;
2016-07-05 wenzelm tuned;
2016-07-02 haftmann more theorems
2016-06-19 wenzelm misc tuning and modernization;
2016-06-14 paulson new results about topology
2016-05-27 wenzelm tuned proofs;
2016-05-23 paulson Lots of new material for multivariate analysis
2016-05-17 eberlm Moved material from AFP/Randomised_Social_Choice to distribution
2016-05-09 paulson renamings and refinements
2016-04-18 paulson new theorems about convex hulls, etc.; also, renamed some theorems
2016-04-04 paulson Mostly renaming (from HOL Light to Isabelle conventions), with a couple of new results
2016-03-05 wenzelm old HOL syntax is for input only;
2016-02-23 nipkow more canonical names
2016-01-07 paulson revisions to limits and derivatives, plus new lemmas
less more (0) -300 -100 -50 -30 tip