| Mon, 13 May 2002 15:39:56 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 13 May 2002 15:27:28 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 13 May 2002 11:05:27 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Wed, 08 May 2002 13:01:40 +0200 | nipkow | new thm distinct_conv_nth | file | diff | annotate |
| Wed, 08 May 2002 12:15:30 +0200 | wenzelm | oops; | file | diff | annotate |
| Tue, 07 May 2002 19:54:29 +0200 | wenzelm | converted; | file | diff | annotate |
| Thu, 14 Feb 2002 11:50:52 +0100 | nipkow | nodups -> distinct | file | diff | annotate |
| Fri, 09 Nov 2001 00:09:47 +0100 | wenzelm | eliminated old "symbols" syntax, use "xsymbols" instead; | file | diff | annotate |
| Tue, 09 Jan 2001 15:22:13 +0100 | nipkow | `` -> and ``` -> `` | file | diff | annotate |
| Sun, 16 Jul 2000 20:49:56 +0200 | wenzelm | avoid 'split'; | file | diff | annotate |
| Fri, 14 Jul 2000 16:28:49 +0200 | oheimb | tuned syntax | file | diff | annotate |
| Fri, 14 Jul 2000 14:47:15 +0200 | paulson | moved sublist from UNITY/AllocBase to List | file | diff | annotate |
| Fri, 26 May 2000 18:04:17 +0200 | paulson | named the primrec clauses of upt | file | diff | annotate |
| Thu, 25 May 2000 15:14:20 +0200 | paulson | better indentation; declared function "null" | file | diff | annotate |
| Mon, 15 May 2000 17:30:19 +0200 | berghofe | Removed unnecessary primrec equations of hd and last involving arbitrary. | file | diff | annotate |
| Thu, 13 Apr 2000 15:01:50 +0200 | nipkow | Times -> <*> | file | diff | annotate |
| Thu, 16 Mar 2000 00:35:27 +0100 | wenzelm | added HOL/PreLIst.thy; | file | diff | annotate |
| Mon, 10 Jan 2000 16:06:43 +0100 | nipkow | Forgot to "call" MicroJava in makefile. | file | diff | annotate |
| Fri, 05 Nov 1999 12:47:15 +0100 | paulson | added foldr | file | diff | annotate |
| Mon, 16 Aug 1999 22:07:12 +0200 | wenzelm | 'a list: Nil, Cons; | file | diff | annotate |
| Mon, 19 Jul 1999 15:27:34 +0200 | paulson | NatBin: binary arithmetic for the naturals | file | diff | annotate |
| Thu, 01 Apr 1999 18:42:48 +0200 | pusch | new definition for nth. | file | diff | annotate |
| Mon, 08 Mar 1999 13:49:14 +0100 | nipkow | modified zip | file | diff | annotate |
| Tue, 19 Jan 1999 11:18:11 +0100 | paulson | removal of the (thm list) argument of mk_cases | file | diff | annotate |
| Mon, 21 Sep 1998 23:03:11 +0200 | oheimb | re-added mem and list_all | file | diff | annotate |
| Wed, 09 Sep 1998 17:19:26 +0200 | oheimb | changed constants mem and list_all to mere translations | file | diff | annotate |
| Fri, 04 Sep 1998 11:01:59 +0200 | nipkow | Arith: less_diff_conv | file | diff | annotate |
| Wed, 02 Sep 1998 16:52:06 +0200 | nipkow | Added function upto to List. | file | diff | annotate |
| Wed, 12 Aug 1998 15:22:14 +0200 | oheimb | replaced idt by pttrn in @filter | file | diff | annotate |
| Sat, 08 Aug 1998 14:00:56 +0200 | nipkow | List now contains some lexicographic orderings. | file | diff | annotate |