src/ZF/ex/Commutation.thy
2011-02-18 wenzelm 2011-02-18 more precise headers;
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-07 wenzelm 2006-11-07 tuned specifications;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-07-10 paulson 2002-07-10 Fixed quantified variable name preservation for ball and bex (bounded quants) Requires tweaking of other scripts. Also routine tidying.
2002-06-26 paulson 2002-06-26 new theorems
2002-02-04 paulson 2002-02-04 New-style versions of these old examples
2001-05-21 paulson 2001-05-21 X-symbols for set theory
2001-02-03 paulson 2001-02-03 commutation theory, ported by Sidi Ehmety