| Wed, 17 Feb 2010 10:00:22 -0800 | huffman | remove $ from all HOLCF files | file | diff | annotate |
| Thu, 27 Mar 2008 17:21:41 +0100 | wenzelm | fixed theory imports; | file | diff | annotate |
| Tue, 31 Jul 2007 23:23:28 +0200 | wenzelm | simultaneous use_thys; | file | diff | annotate |
| Thu, 27 Dec 2001 16:45:19 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | file | diff | annotate |
| Thu, 22 Apr 1999 18:20:37 +0200 | wenzelm | more graceful handling of load paths; | file | diff | annotate |
| Wed, 03 Feb 1999 17:36:55 +0100 | wenzelm | tidied load path handling; | file | diff | annotate |
| Tue, 28 Jul 1998 17:05:34 +0200 | wenzelm | removed global_names flag; | file | diff | annotate |
| Mon, 20 Oct 1997 12:50:18 +0200 | wenzelm | reset global_names; | file | diff | annotate |
| Tue, 09 Sep 1997 12:08:28 +0200 | nipkow | Loads HoareEx now. | file | diff | annotate |
| Mon, 17 Mar 1997 15:37:41 +0100 | nipkow | The HOLCF-based den. sem. of IMP. | file | diff | annotate |