src/HOLCF/Tools/Domain/domain_library.ML
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