| Tue, 21 Apr 2009 17:01:45 -0700 | huffman | add HOLCF/ex/Domain_ex.thy, with example uses of the domain package | file | diff | annotate |
| Thu, 19 Feb 2009 09:39:49 -0800 | huffman | add Powerdomain_ex.thy | file | diff | annotate |
| Tue, 31 Jul 2007 23:23:28 +0200 | wenzelm | simultaneous use_thys; | file | diff | annotate |
| Thu, 03 Nov 2005 00:31:32 +0100 | huffman | removed proof about Ifix, which no longer exists | file | diff | annotate |
| Thu, 23 Jun 2005 22:08:24 +0200 | huffman | add new file to test fixrec package | file | diff | annotate |
| Sat, 03 Nov 2001 18:41:28 +0100 | wenzelm | GPLed; | 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 |
| Fri, 19 Dec 1997 10:28:33 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 20 Oct 1997 12:45:51 +0200 | wenzelm | removed Dlist; | file | diff | annotate |
| Mon, 12 May 1997 14:24:31 +0200 | wenzelm | removed Witness; | file | diff | annotate |
| Fri, 31 Jan 1997 16:56:32 +0100 | oheimb | added Classlib.* and Witness.*, | file | diff | annotate |
| Wed, 27 Nov 1996 10:34:28 +0100 | paulson | Uses Basis Library equivalent of cd | file | diff | annotate |
| Tue, 30 Jan 1996 13:42:57 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Tue, 21 Nov 1995 12:43:09 +0100 | clasohm | removed make_chart; | file | diff | annotate |
| Wed, 25 Oct 1995 12:53:24 +0100 | clasohm | added make_chart | file | diff | annotate |
| Fri, 06 Oct 1995 17:25:24 +0100 | regensbu | added 8bit pragmas | file | diff | annotate |
| Tue, 07 Feb 1995 17:25:31 +0100 | regensbu | CVS: | file | diff | annotate |
| Thu, 24 Mar 1994 13:36:34 +0100 | nipkow | Franz fragen | file | diff | annotate |
| Wed, 19 Jan 1994 17:40:26 +0100 | nipkow | HOLCF examples | file | diff | annotate |