src/HOL/Finite_Set.ML
Thu, 07 Jul 2005 12:39:17 +0200 nipkow linear arithmetic now takes "&" in assumptions apart.
Sun, 12 Dec 2004 16:25:47 +0100 nipkow REorganized Finite_Set
Thu, 09 Dec 2004 18:30:59 +0100 nipkow First step in reorganizing Finite_Set
Mon, 06 Dec 2004 14:14:03 +0100 nipkow Started to clean up and generalize FiniteSet
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