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