| Fri, 19 Dec 2003 04:28:45 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 18 Dec 2003 08:20:36 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 29 Oct 2003 01:17:06 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 26 Sep 2003 10:34:57 +0200 | paulson | misc tidying | file | diff | annotate |
| Sun, 14 Sep 2003 17:53:27 +0200 | nipkow | Added new theorems | file | diff | annotate |
| Tue, 15 Jul 2003 08:25:20 +0200 | nipkow | Some new thm (ex_map_conv?) | file | diff | annotate |
| Fri, 11 Jul 2003 14:12:02 +0200 | oheimb | added fold_red, o2l, postfix, some thms | file | diff | annotate |
| Wed, 28 May 2003 10:47:54 +0200 | paulson | new theorem | file | diff | annotate |
| Wed, 14 May 2003 10:22:09 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 16 Apr 2003 22:14:08 +0200 | nipkow | Added take/dropWhile thms | file | diff | annotate |
| Tue, 25 Mar 2003 09:58:51 +0100 | berghofe | Re-structured some proofs in order to get rid of rule_format attribute. | file | diff | annotate |
| Fri, 14 Mar 2003 12:03:23 +0100 | kleing | more about list_all2 | file | diff | annotate |
| Fri, 29 Nov 2002 09:48:28 +0100 | nipkow | added a few lemmas | file | diff | annotate |
| Mon, 30 Sep 2002 16:14:02 +0200 | berghofe | Adapted to new simplifier. | file | diff | annotate |
| Thu, 26 Sep 2002 10:51:29 +0200 | paulson | Converted Fun to Isar style. | file | diff | annotate |
| Wed, 21 Aug 2002 15:53:30 +0200 | paulson | Frederic Blanqui's new "guard" examples | file | diff | annotate |
| Thu, 08 Aug 2002 23:46:09 +0200 | wenzelm | use Tactic.prove instead of prove_goalw_cterm in internal proofs! | file | diff | annotate |
| Tue, 06 Aug 2002 11:22:05 +0200 | wenzelm | sane interface for simprocs; | file | diff | annotate |
| Tue, 16 Jul 2002 18:26:36 +0200 | wenzelm | moved stuff from Main.thy; | file | diff | annotate |
| Thu, 30 May 2002 10:12:52 +0200 | nipkow | Modifications due to enhanced linear arithmetic. | file | diff | annotate |
| Mon, 13 May 2002 15:45:21 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| 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 |