src/HOLCF/Tools/Domain/domain_library.ML
Thu, 27 May 2010 17:41:27 +0200 wenzelm renamed structure TypeInfer to Type_Infer, keeping the old name as legacy alias for some time;
Wed, 05 May 2010 18:25:34 +0200 haftmann farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =)
Mon, 22 Mar 2010 15:53:25 -0700 huffman error -> raise Fail
Mon, 22 Mar 2010 15:05:20 -0700 huffman fix ML warning in domain_library.ML
Wed, 03 Mar 2010 08:49:11 -0800 huffman remove dead code
Tue, 02 Mar 2010 17:21:10 -0800 huffman proper names for types cfun, sprod, ssum
Tue, 02 Mar 2010 16:07:48 -0800 huffman remove dead code
Tue, 02 Mar 2010 15:53:07 -0800 huffman remove unused mixfix component from type cons
Tue, 02 Mar 2010 15:06:02 -0800 huffman remove unused selector field from type arg
Tue, 02 Mar 2010 04:31:50 -0800 huffman re-enable bisim code, now in domain_theorems.ML
Sat, 27 Feb 2010 20:04:40 -0800 huffman remove dead code
Wed, 24 Feb 2010 14:20:07 -0800 huffman change domain package's treatment of variable names in theorems to be like datatype package
Mon, 22 Feb 2010 11:17:41 -0800 huffman add mixfix field to type Domain_Library.cons
Fri, 04 Dec 2009 12:17:43 +0100 haftmann modernized structure Datatype_Aux
Mon, 02 Nov 2009 12:26:23 -0800 huffman domain package no longer uses cfst/csnd/cpair
Thu, 29 Oct 2009 17:58:26 +0100 wenzelm standardized filter/filter_out;
Tue, 21 Jul 2009 16:14:56 +0200 haftmann obey captialized directory names convention
less more (0) tip