src/HOLCF/Tools/cont_consts.ML
Tue, 02 Mar 2010 17:21:10 -0800 huffman proper names for types cfun, sprod, ssum
Sun, 21 Feb 2010 22:35:02 +0100 wenzelm slightly more abstract syntax mark/unmark operations;
Sun, 21 Feb 2010 21:10:24 +0100 wenzelm adapted to authentic syntax;
Mon, 15 Feb 2010 18:03:42 +0100 wenzelm renamed InfixName to Infix etc.;
Mon, 15 Feb 2010 17:17:51 +0100 wenzelm discontinued unnamed infix syntax;
Tue, 27 Oct 2009 22:56:14 +0100 wenzelm eliminated some old folds;
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
Fri, 10 Apr 2009 11:35:21 -0700 huffman set up domain package in Domain.thy
Sat, 07 Mar 2009 22:17:25 +0100 wenzelm more uniform handling of binding in packages;
Sat, 06 Oct 2007 16:50:04 +0200 wenzelm simplified interfaces for outer syntax;
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