| #
1a8dfc75 |
|
14-Mar-2020 |
paulson <lp15@cam.ac.uk> |
tidied up a few little proofs
|
| #
a4bab154 |
|
04-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
| #
0fdb5e91 |
|
31-Jul-2016 |
wenzelm <none@none> |
misc tuning and modernization;
|
| #
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
|
| #
59123559 |
|
31-Jan-2014 |
wenzelm <none@none> |
tuned headers;
|
| #
38429f1e |
|
16-Jan-2014 |
blanchet <none@none> |
adapted to move of Wfrec
|
| #
d6de6ec1 |
|
16-Jan-2014 |
blanchet <none@none> |
moved Wfrec to Main, since it is a dependency of cardinals, hence BNFs
--HG--
rename : src/HOL/Library/Wfrec.thy => src/HOL/Wfrec.thy
|