| Mon, 06 Jan 2003 11:22:54 +0100 | nipkow | Split Pointers.thy and automated one proof, which caused the runtime to explode | file | diff | annotate |
| Sun, 05 Jan 2003 21:03:14 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Sun, 22 Dec 2002 10:42:09 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 06 Dec 2002 11:09:02 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 29 Nov 2002 09:48:28 +0100 | nipkow | added a few lemmas | file | diff | annotate |
| Mon, 25 Nov 2002 20:32:29 +0100 | nipkow | renamed a few constants | file | diff | annotate |
| Thu, 21 Nov 2002 17:40:11 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 18 Nov 2002 14:51:44 +0100 | nipkow | beautification | file | diff | annotate |
| Thu, 07 Nov 2002 09:26:44 +0100 | nipkow | small improvements | file | diff | annotate |
| Wed, 06 Nov 2002 14:01:38 +0100 | nipkow | a new pointer example and some syntactic sugar | file | diff | annotate |
| Mon, 28 Oct 2002 17:56:00 +0100 | nipkow | moved fac example | file | diff | annotate |
| Mon, 28 Oct 2002 14:29:51 +0100 | nipkow | conversion ML -> thy | file | diff | annotate |
| Wed, 03 Jul 2002 10:02:15 +0200 | nipkow | added a list search example. | file | diff | annotate |
| Fri, 10 May 2002 18:00:48 +0200 | nipkow | A new theory of pointer program examples | file | diff | annotate |