#
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
|