| Tue, 23 Feb 2010 10:11:15 +0100 | haftmann | dropped axclass; dropped Id; session theory Hoare.thy | file | diff | annotate |
| Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
| Tue, 31 Jul 2007 22:21:20 +0200 | wenzelm | simultaneous use_thys; | file | diff | annotate |
| Wed, 14 May 2003 14:20:55 +0200 | nipkow | eparation logic - a beginning. | file | diff | annotate |
| Sun, 23 Mar 2003 11:57:07 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 11 Mar 2003 15:04:24 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| 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 |
| Fri, 10 May 2002 18:00:07 +0200 | nipkow | Added Pointers.thy | file | diff | annotate |
| Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | file | diff | annotate |
| Thu, 11 Mar 1999 13:20:35 +0100 | wenzelm | removed foo_build_completed -- now handled by session management (via usedir); | file | diff | annotate |
| Wed, 14 Oct 1998 15:26:31 +0200 | nipkow | New many-sorted version. | file | diff | annotate |
| Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Wed, 22 Nov 1995 18:48:56 +0100 | nipkow | Added List_Examples | file | diff | annotate |
| Tue, 21 Nov 1995 12:43:09 +0100 | clasohm | removed make_chart; | file | diff | annotate |
| Fri, 17 Nov 1995 09:04:10 +0100 | nipkow | New directory. | file | diff | annotate |