src/HOLCF/Tools/domain/domain_library.ML
Tue, 12 May 2009 12:01:25 -0700 huffman add cpo_type function
Fri, 08 May 2009 16:19:51 -0700 huffman rename constant sq_le to below; rename class sq_ord to below; less->below in many lemma names
Wed, 29 Apr 2009 13:36:29 -0700 huffman use opaque ascription for all HOLCF code
Wed, 22 Apr 2009 11:00:25 -0700 huffman add module signature to domain_library.ML
Fri, 10 Apr 2009 11:35:21 -0700 huffman set up domain package in Domain.thy
Thu, 19 Mar 2009 22:05:00 +0100 wenzelm proper spacing before ML antiquotations -- note that @ may be part of symbolic ML identifiers;
Sun, 01 Mar 2009 23:36:12 +0100 wenzelm use long names for old-style fold combinators;
Mon, 16 Jun 2008 22:13:39 +0200 wenzelm pervasive RuleInsts;
Mon, 16 Jun 2008 17:54:45 +0200 wenzelm atomize: proper context;
Wed, 11 Jun 2008 18:02:00 +0200 wenzelm Drule.read_instantiate;
Sun, 18 May 2008 15:04:09 +0200 wenzelm moved global pretty/string_of functions from Sign to Syntax;
Tue, 29 Jan 2008 18:00:12 +0100 huffman new term-building combinators
Thu, 20 Dec 2007 03:06:20 +0100 huffman move bottom-related stuff back into Pcpo.thy
Tue, 18 Dec 2007 22:18:31 +0100 huffman add class ppo of pointed partial orders;
Sun, 23 Sep 2007 22:23:27 +0200 wenzelm TypeInfer.constrain: canonical argument order;
Wed, 06 Jun 2007 23:06:29 +0200 huffman use new-style class for sq_ord; rename op << to sq_le
Thu, 31 May 2007 14:01:58 +0200 wenzelm moved HOLCF tools to canonical place;
less more (0) tip