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