| Thu, 07 Jul 2005 12:39:17 +0200 | nipkow | linear arithmetic now takes "&" in assumptions apart. | file | diff | annotate |
| Sun, 12 Dec 2004 16:25:47 +0100 | nipkow | REorganized Finite_Set | file | diff | annotate |
| Thu, 09 Dec 2004 18:30:59 +0100 | nipkow | First step in reorganizing Finite_Set | file | diff | annotate |
| Mon, 06 Dec 2004 14:14:03 +0100 | nipkow | Started to clean up and generalize FiniteSet | file | diff | annotate |
| Thu, 25 Mar 2004 10:32:21 +0100 | paulson | new material from Avigad | file | diff | annotate |
| Thu, 10 Jan 2002 01:10:58 +0100 | wenzelm | qualified exports from locales; | file | diff | annotate |
| Thu, 06 Dec 2001 00:38:55 +0100 | wenzelm | renamed theory Finite to Finite_Set and converted; | file | diff | annotate |