src/ZF/UNITY/Union.thy
2010-03-02 wenzelm 2010-03-02 proper (type_)notation;
2010-02-11 wenzelm 2010-02-11 numeral syntax: clarify parse trees vs. actual terms; modernized translations; formal markup of @{syntax_const} and @{const_syntax};
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2007-10-07 wenzelm 2007-10-07 modernized specifications; removed legacy ML bindings;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-07-10 paulson 2003-07-10 Changed many Intersection rules from i:I to I~=0 to avoid introducing a new variable
2003-07-09 paulson 2003-07-09 converting more theories to Isar scripts, and tidying
2003-07-08 paulson 2003-07-08 Conversion of ZF/UNITY/{FP,Union} to Isar script. Introduction of X-symbols to the ML files.
2001-11-15 ehmety 2001-11-15 *** empty log message ***
2001-11-09 wenzelm 2001-11-09 eliminated old "symbols" syntax, use "xsymbols" instead;
2001-08-08 paulson 2001-08-08 new ZF/UNITY theory