| #
d463f754 |
|
19-Feb-2018 |
paulson <lp15@cam.ac.uk> |
lots of new material, ultimately related to measure theory
|
| #
f5796e6d |
|
14-Feb-2018 |
wenzelm <none@none> |
more symbols;
|
| #
5385dbfa |
|
16-Jan-2018 |
wenzelm <none@none> |
standardized towards new-style formal comments: isabelle update_comments;
|
| #
a7ccdf43 |
|
10-Jan-2018 |
nipkow <none@none> |
ran isabelle update_op on all sources
|
| #
0fdb5e91 |
|
31-Jul-2016 |
wenzelm <none@none> |
misc tuning and modernization;
|
| #
fb0c4f7e |
|
27-May-2016 |
wenzelm <none@none> |
tuned proofs;
|
| #
a2bc0021 |
|
25-Apr-2016 |
wenzelm <none@none> |
eliminated old 'def';
tuned comments;
|
| #
0df376fc |
|
07-Dec-2015 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
1901affb |
|
18-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
737ce617 |
|
04-Sep-2014 |
hoelzl <none@none> |
cleanup Wfrec; introduce dependent_wf/wellorder_choice
--HG--
extra : rebase_source : f2bcd9c9ab7554ffc3fe445f9603d177ca3724e7
|
| #
bbeeaf3d |
|
28-Feb-2014 |
traytel <none@none> |
load Metis a little later
|
| #
5cb754c4 |
|
16-Jan-2014 |
blanchet <none@none> |
moved 'Zorn' into 'Main', since it's a BNF dependency
--HG--
rename : src/HOL/Library/Zorn.thy => src/HOL/Zorn.thy
|