| Sun, 29 Jul 2007 14:29:49 +0200 | wenzelm | simplified ResAtpset via NamedThmsFun; | file | diff | annotate |
| Wed, 11 Jul 2007 11:24:36 +0200 | berghofe | Restored set notation. | file | diff | annotate |
| Fri, 06 Jul 2007 23:26:13 +0200 | nipkow | more interpretations | file | diff | annotate |
| Wed, 13 Jun 2007 18:30:11 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
| Wed, 06 Jun 2007 19:12:59 +0200 | nipkow | changed filter syntax from : to <- | file | diff | annotate |
| Wed, 14 Feb 2007 10:06:12 +0100 | haftmann | added class "preorder" | file | diff | annotate |
| Wed, 07 Feb 2007 17:41:11 +0100 | berghofe | Converted to predicate notation. | file | diff | annotate |
| Sat, 18 Nov 2006 00:20:26 +0100 | haftmann | using class instance | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Tue, 07 Nov 2006 14:02:10 +0100 | haftmann | adjusted two lemma names due to name change in interpretation | file | diff | annotate |
| Thu, 28 Sep 2006 23:42:43 +0200 | wenzelm | fixed translations: CONST; | file | diff | annotate |
| Mon, 11 Sep 2006 21:35:19 +0200 | wenzelm | induct method: renamed 'fixing' to 'arbitrary'; | file | diff | annotate |
| Fri, 05 May 2006 22:11:19 +0200 | wenzelm | get rid of 'concl is'; | file | diff | annotate |
| Fri, 05 May 2006 17:17:21 +0200 | krauss | First usable version of the new function definition package (HOL/function_packake/...). | file | diff | annotate |
| Sat, 08 Apr 2006 22:51:06 +0200 | wenzelm | refined 'abbreviation'; | file | diff | annotate |
| Thu, 16 Feb 2006 21:12:00 +0100 | wenzelm | new-style definitions/abbreviations; | file | diff | annotate |
| Sat, 21 Jan 2006 23:02:21 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Fri, 25 Nov 2005 19:20:56 +0100 | wenzelm | tuned induct proofs; | file | diff | annotate |
| Fri, 07 Oct 2005 20:41:10 +0200 | nipkow | changes due to new neq_simproc in simpdata.ML | file | diff | annotate |
| Wed, 31 Aug 2005 15:46:37 +0200 | wenzelm | tuned presentation; | file | diff | annotate |
| Sun, 28 Aug 2005 16:04:45 +0200 | wenzelm | tuned some proofs; | file | diff | annotate |
| Thu, 28 Apr 2005 12:02:49 +0200 | kleing | intersection | file | diff | annotate |
| Thu, 28 Apr 2005 09:21:15 +0200 | kleing | some more lemmas about multiset_of | file | diff | annotate |
| Sat, 26 Mar 2005 00:00:56 +0100 | kleing | fixed typo (multiset_append) | file | diff | annotate |
| Sun, 12 Dec 2004 16:25:47 +0100 | nipkow | REorganized Finite_Set | file | diff | annotate |
| Tue, 23 Nov 2004 16:43:03 +0100 | nipkow | renamed 1 lemmas | file | diff | annotate |
| Wed, 18 Aug 2004 11:09:40 +0200 | nipkow | import -> imports | file | diff | annotate |
| Mon, 16 Aug 2004 14:22:27 +0200 | nipkow | New theory header syntax. | file | diff | annotate |
| Thu, 22 Jul 2004 10:33:26 +0200 | paulson | new material courtesy of Norbert Voelker | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |