| Wed, 07 Feb 2007 17:51:38 +0100 | berghofe | Adapted to changes in Finite_Set theory. | file | diff | annotate |
| Sun, 01 Oct 2006 18:29:26 +0200 | wenzelm | moved theory Infinite_Set to Library; | file | diff | annotate |
| Wed, 09 Aug 2006 00:14:28 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Wed, 26 Jul 2006 19:23:04 +0200 | webertj | linear arithmetic splits certain operators (e.g. min, max, abs) | file | diff | annotate |
| Wed, 17 May 2006 01:23:41 +0200 | wenzelm | prefer 'definition' over low-level defs; | file | diff | annotate |
| Thu, 08 Dec 2005 12:50:04 +0100 | wenzelm | tuned sources and proofs | file | diff | annotate |
| Sun, 12 Dec 2004 16:25:47 +0100 | nipkow | REorganized Finite_Set | file | diff | annotate |