| Wed, 29 Apr 2009 13:36:29 -0700 | huffman | use opaque ascription for all HOLCF code | file | diff | annotate |
| Tue, 21 Apr 2009 15:57:08 -0700 | huffman | make domain package ML interface more consistent with datatype package; use binding instead of bstring | file | diff | annotate |
| Fri, 10 Apr 2009 11:35:21 -0700 | huffman | set up domain package in Domain.thy | file | diff | annotate |
| Sat, 07 Mar 2009 22:17:25 +0100 | wenzelm | more uniform handling of binding in packages; | file | diff | annotate |
| Sat, 06 Oct 2007 16:50:04 +0200 | wenzelm | simplified interfaces for outer syntax; | file | diff | annotate |
| Tue, 25 Sep 2007 13:28:37 +0200 | wenzelm | Syntax.parse/check/read; | file | diff | annotate |
| Thu, 31 May 2007 14:01:58 +0200 | wenzelm | moved HOLCF tools to canonical place; | file | diff | annotate |