src/HOL/ZF/Games.thy
2010-02-05 haftmann 2010-02-05 more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-03-02 nipkow 2009-03-02 name changes
2008-07-25 haftmann 2008-07-25 tuned
2008-03-17 wenzelm 2008-03-17 avoid rebinding of existing facts;
2008-01-02 haftmann 2008-01-02 removed some legacy instantiations
2007-07-11 berghofe 2007-07-11 Restored set notation in Multiset theory.
2007-02-07 berghofe 2007-02-07 - Adapted to new inductive definition package - Adapted to changes in Multiset theory
2006-06-05 krauss 2006-06-05 Added [simp]-lemmas "in_inv_image" and "in_lex_prod" in the spirit of "in_measure". This simplifies some proofs.
2006-03-07 obua 2006-03-07 Added HOL-ZF to Isabelle.