src/HOL/Finite_Set.ML
Thu, 25 Mar 2004 10:32:21 +0100 paulson new material from Avigad
Thu, 10 Jan 2002 01:10:58 +0100 wenzelm qualified exports from locales;
Thu, 06 Dec 2001 00:38:55 +0100 wenzelm renamed theory Finite to Finite_Set and converted;
less more (0) tip