| #
a7ccdf43 |
|
10-Jan-2018 |
nipkow <none@none> |
ran isabelle update_op on all sources
|
| #
c5ca84de |
|
10-Oct-2015 |
wenzelm <none@none> |
tuned syntax -- more symbols;
|
| #
8ecffcf0 |
|
23-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
68f43bed |
|
23-Mar-2015 |
wenzelm <none@none> |
prefer local fixes;
|
| #
2257dcda |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header;
|
| #
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;
|
| #
e7a16ceb |
|
07-Oct-2007 |
wenzelm <none@none> |
modernized specifications;
removed legacy ML bindings;
|
| #
3daff02d |
|
07-Oct-2007 |
wenzelm <none@none> |
replaced some 'translations' by 'abbreviation';
|
| #
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
| #
f5ea3b4a |
|
10-Jul-2003 |
paulson <none@none> |
Changed many Intersection rules from i:I to I~=0 to avoid introducing a new
variable
|
| #
fe7c8c00 |
|
09-Jul-2003 |
paulson <none@none> |
converting more theories to Isar scripts, and tidying
|
| #
02718104 |
|
28-May-2003 |
paulson <none@none> |
some new ZF/UNITY material from Sidi Ehmety
|