src/HOL/Finite_Set.ML
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;