| #
a4bab154 |
|
04-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
| #
e2e4d5f1 |
|
03-Jan-2019 |
wenzelm <none@none> |
isabelle update -u mixfix_cartouches;
|
| #
74c9a8d5 |
|
09-Apr-2017 |
wenzelm <none@none> |
clarified main ZF.thy / ZFC.thy, and avoid name clash with global HOL/Main.thy;
--HG--
rename : src/ZF/Main_ZF.thy => src/ZF/ZF.thy
rename : src/ZF/Main_ZFC.thy => src/ZF/ZFC.thy
rename : src/ZF/ZF.thy => src/ZF/ZF_Base.thy
|
| #
949bc564 |
|
02-Jan-2016 |
wenzelm <none@none> |
more symbols;
tuned;
|
| #
2531ee45 |
|
07-Dec-2015 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
a0a64492 |
|
10-Oct-2015 |
wenzelm <none@none> |
tuned syntax -- more symbols;
|
| #
8ecffcf0 |
|
23-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
2257dcda |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header;
|
| #
4a9ed335 |
|
07-Oct-2014 |
wenzelm <none@none> |
more bibtex entries;
more antiquotations;
|
| #
8eca016b |
|
13-Mar-2012 |
wenzelm <none@none> |
tuned proofs;
|
| #
001933f8 |
|
06-Mar-2012 |
paulson <none@none> |
mathematical symbols for Isabelle/ZF example theories
|
| #
db258df9 |
|
02-Mar-2010 |
wenzelm <none@none> |
proper (type_)notation;
|
| #
4818a82c |
|
09-Feb-2010 |
wenzelm <none@none> |
modernized translations;
|
| #
079cde2d |
|
17-Oct-2009 |
wenzelm <none@none> |
eliminated hard tabulators, guessing at each author's individual tab-width;
tuned headers;
|
| #
42b827d5 |
|
07-Oct-2007 |
wenzelm <none@none> |
modernized specifications;
|
| #
8922a0f2 |
|
15-Dec-2005 |
wenzelm <none@none> |
improved proofs;
|
| #
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
| #
1ff4caa9 |
|
27-Apr-2005 |
paulson <none@none> |
minor tidying
|
| #
223f0f07 |
|
19-Apr-2005 |
paulson <none@none> |
syntax fix
|
| #
82444f3f |
|
20-Sep-2002 |
paulson <none@none> |
shortened a proof
|
| #
6ab7a33a |
|
29-Dec-2001 |
wenzelm <none@none> |
tuned document sources;
|
| #
a17994c0 |
|
20-Dec-2001 |
paulson <none@none> |
converted some ZF/Induct examples to Isar
|
| #
d9ede52b |
|
06-Nov-2001 |
paulson <none@none> |
reorganization of the ZF examples
|