#
c5ca84de |
|
10-Oct-2015 |
wenzelm <none@none> |
tuned syntax -- more symbols;
|
#
8ecffcf0 |
|
23-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
#
ed870e69 |
|
15-Mar-2012 |
paulson <none@none> |
replacing ":" by "\<in>"
|
#
f5cf0e45 |
|
06-Mar-2012 |
paulson <none@none> |
More mathematical symbols for ZF examples
|
#
29168e90 |
|
20-Nov-2011 |
wenzelm <none@none> |
eliminated obsolete "standard";
|
#
db258df9 |
|
02-Mar-2010 |
wenzelm <none@none> |
proper (type_)notation;
|
#
7882ab22 |
|
11-Feb-2010 |
wenzelm <none@none> |
numeral syntax: clarify parse trees vs. actual terms; modernized translations; formal markup of @{syntax_const} and @{const_syntax};
|
#
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;
|
#
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
|
#
8fd16e72 |
|
08-Jul-2003 |
paulson <none@none> |
Conversion of ZF/UNITY/{FP,Union} to Isar script. Introduction of X-symbols to the ML files.
|
#
3184becc |
|
15-Nov-2001 |
ehmety <none@none> |
*** empty log message ***
|
#
c1694cb4 |
|
08-Nov-2001 |
wenzelm <none@none> |
eliminated old "symbols" syntax, use "xsymbols" instead;
|
#
59a188ae |
|
08-Aug-2001 |
paulson <none@none> |
new ZF/UNITY theory
|