src/HOLCF/Tools/Domain/domain_library.ML
2010-05-05 haftmann 2010-05-05 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 =)
2010-03-22 huffman 2010-03-22 error -> raise Fail
2010-03-22 huffman 2010-03-22 fix ML warning in domain_library.ML
2010-03-03 huffman 2010-03-03 remove dead code
2010-03-02 huffman 2010-03-02 proper names for types cfun, sprod, ssum
2010-03-02 huffman 2010-03-02 remove dead code
2010-03-02 huffman 2010-03-02 remove unused mixfix component from type cons
2010-03-02 huffman 2010-03-02 remove unused selector field from type arg
2010-03-02 huffman 2010-03-02 re-enable bisim code, now in domain_theorems.ML
2010-02-27 huffman 2010-02-27 remove dead code
2010-02-24 huffman 2010-02-24 change domain package's treatment of variable names in theorems to be like datatype package
2010-02-22 huffman 2010-02-22 add mixfix field to type Domain_Library.cons
2009-12-04 haftmann 2009-12-04 modernized structure Datatype_Aux
2009-11-02 huffman 2009-11-02 domain package no longer uses cfst/csnd/cpair
2009-10-29 wenzelm 2009-10-29 standardized filter/filter_out;
2009-07-21 haftmann 2009-07-21 obey captialized directory names convention