| Mon, 21 Feb 2005 15:04:10 +0100 | nipkow | comprehensive cleanup, replacing sumr by setsum | file | diff | annotate |
| Thu, 09 Dec 2004 18:30:59 +0100 | nipkow | First step in reorganizing Finite_Set | file | diff | annotate |
| Sun, 21 Nov 2004 15:44:20 +0100 | nipkow | added lemmas | file | diff | annotate |
| Sun, 21 Nov 2004 12:52:03 +0100 | nipkow | Restructured List and added "rotate" | file | diff | annotate |
| Fri, 19 Nov 2004 17:31:49 +0100 | paulson | moved and renamed Integ/Equiv.thy | file | diff | annotate |