| Wed, 26 Sep 2007 20:27:55 +0200 | haftmann | moved Finite_Set before Datatype | file | diff | annotate |
| Tue, 10 Jul 2007 17:30:43 +0200 | haftmann | moved finite lemmas to Finite_Set.thy | file | diff | annotate |
| Sun, 10 Dec 2006 15:30:49 +0100 | wenzelm | respects2: tuned spacing; | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Mon, 03 Jul 2006 20:02:42 +0200 | nipkow | replaced translation by abbreviation | file | diff | annotate |
| Sat, 08 Apr 2006 22:51:06 +0200 | wenzelm | refined 'abbreviation'; | file | diff | annotate |
| Thu, 23 Mar 2006 20:03:53 +0100 | nipkow | Converted translations to abbbreviations. | file | diff | annotate |
| Thu, 22 Dec 2005 17:57:09 +0100 | nipkow | more lemmas | file | diff | annotate |
| Thu, 22 Dec 2005 13:00:53 +0100 | nipkow | new lemmas | file | diff | annotate |
| Thu, 22 Sep 2005 23:56:15 +0200 | nipkow | renamed rules to iprover | file | diff | annotate |
| 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 |