| #
8ebe4ac4 |
|
18-Mar-2020 |
wenzelm <none@none> |
prefer strict qualification (default for 'interpretation', see 461ee3e49ad3) as proposed by Pedro Sánchez Terraf;
|
| #
b0d86b76 |
|
04-Feb-2020 |
paulson <lp15@cam.ac.uk> |
Simplified, generalised version of Constructible due to E. Gunther, M. Pagano and P. Sánchez Terraf
|
| #
a4bab154 |
|
04-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
| #
5385dbfa |
|
16-Jan-2018 |
wenzelm <none@none> |
standardized towards new-style formal comments: isabelle update_comments;
|
| #
2531ee45 |
|
07-Dec-2015 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
8ecffcf0 |
|
23-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
2257dcda |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header;
|
| #
de03cc00 |
|
22-Mar-2012 |
paulson <none@none> |
more structured proofs
|
| #
2823fba7 |
|
22-Mar-2012 |
paulson <none@none> |
New Message
|
| #
2400213a |
|
21-Mar-2012 |
paulson <none@none> |
refinements to constructibility
|
| #
eb99763c |
|
13-Mar-2012 |
paulson <none@none> |
rationalising the induction rule trans_induct3
|
| #
f5cf0e45 |
|
06-Mar-2012 |
paulson <none@none> |
More mathematical symbols for ZF examples
|
| #
079cde2d |
|
17-Oct-2009 |
wenzelm <none@none> |
eliminated hard tabulators, guessing at each author's individual tab-width;
tuned headers;
|
| #
cd65d9bc |
|
16-Nov-2006 |
wenzelm <none@none> |
more robust syntax for definition/abbreviation/notation;
|
| #
ce4ef54e |
|
07-Nov-2006 |
wenzelm <none@none> |
tuned specifications;
|
| #
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
| #
7654e199 |
|
27-Aug-2003 |
skalberg <none@none> |
Extended the notion of letter and digit, such that now one may use greek,
gothic, euler, or calligraphic letters as normal letters.
|
| #
4c207d95 |
|
08-Nov-2002 |
paulson <none@none> |
Polishing.
lambda_abs2 doesn't need an instance of replacement
various renamings & restructurings
|
| #
00db9a7e |
|
01-Nov-2002 |
paulson <none@none> |
proof streamlining
|
| #
02dd1b23 |
|
09-Oct-2002 |
paulson <none@none> |
Re-organization of Constructible theories
|
| #
32a75c4c |
|
01-Oct-2002 |
paulson <none@none> |
Numerous cosmetic changes, prompted by the new simplifier
|
| #
5c2c2d4d |
|
29-Aug-2002 |
paulson <none@none> |
fixed a name clash
|
| #
fd79e6e3 |
|
28-Aug-2002 |
paulson <none@none> |
completion of the consistency proof for AC
|