src/HOLCF/Tools/domain/domain_extender.ML
Thu, 21 May 2009 18:23:19 -0700 huffman make type Domain_Library.arg abstract
Tue, 12 May 2009 12:16:33 -0700 huffman allow lazy domain arguments to have class cpo
Tue, 12 May 2009 11:37:40 -0700 huffman fix domain package parsing of lhs sort constraints
Wed, 29 Apr 2009 13:36:29 -0700 huffman use opaque ascription for all HOLCF code
Tue, 21 Apr 2009 15:57:08 -0700 huffman make domain package ML interface more consistent with datatype package; use binding instead of bstring
Mon, 20 Apr 2009 17:38:25 -0700 huffman allow infix declarations for type constructors defined with domain package
Mon, 20 Apr 2009 15:37:35 -0700 huffman remove obsolete comments
Sun, 08 Mar 2009 17:26:14 +0100 wenzelm moved basic algebra of long names from structure NameSpace to Long_Name;
Sat, 07 Mar 2009 22:17:25 +0100 wenzelm more uniform handling of binding in packages;
Thu, 05 Mar 2009 12:08:00 +0100 wenzelm renamed NameSpace.base to NameSpace.base_name;
Wed, 21 Jan 2009 18:27:43 +0100 haftmann binding replaces bstring
Thu, 04 Dec 2008 14:43:33 +0100 haftmann cleaned up binding module and related code
Thu, 09 Oct 2008 08:47:26 +0200 haftmann established canonical argument order
Wed, 25 Jun 2008 17:38:32 +0200 wenzelm moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces;
Tue, 09 Oct 2007 17:10:34 +0200 wenzelm AxClass.axiomatize: renamed XXX_i to XXX, and XXX to XXX_cmd;
Sat, 06 Oct 2007 16:50:04 +0200 wenzelm simplified interfaces for outer syntax;
Tue, 25 Sep 2007 17:06:14 +0200 wenzelm proper Sign operations instead of Theory aliases;
Tue, 25 Sep 2007 13:28:37 +0200 wenzelm Syntax.parse/check/read;
Thu, 31 May 2007 14:01:58 +0200 wenzelm moved HOLCF tools to canonical place;
less more (0) tip