src/HOL/Finite_Set.ML
2006-10-13 berghofe 2006-10-13 Legacy ML bindings now refer to old inductive definition package.
2005-09-06 wenzelm 2005-09-06 axclass: name space prefix is now "c_class" instead of just "c";
2005-07-07 nipkow 2005-07-07 linear arithmetic now takes "&" in assumptions apart.
2004-12-12 nipkow 2004-12-12 REorganized Finite_Set
2004-12-09 nipkow 2004-12-09 First step in reorganizing Finite_Set
2004-12-06 nipkow 2004-12-06 Started to clean up and generalize FiniteSet
2004-03-25 paulson 2004-03-25 new material from Avigad
2002-01-10 wenzelm 2002-01-10 qualified exports from locales;
2001-12-06 wenzelm 2001-12-06 renamed theory Finite to Finite_Set and converted;