2010-11-10 huffman 2010-11-10 rename class 'bifinite' to 'domain'
2010-10-30 huffman 2010-10-30 change default_sort of HOLCF from pcpo to bifinite; rename command 'new_domain' to 'domain'; rename 'domain' to 'domain (unsafe)'
2010-10-08 huffman 2010-10-08 rename class 'sfp' to 'bifinite'
2010-10-06 huffman 2010-10-06 major reorganization/simplification of HOLCF type classes: removed profinite/bifinite classes and approx function; universal domain uses approx_chain locale instead of bifinite class; ideal_completion locale does not use 'take' functions, requires countable basis instead; replaced type 'udom alg_defl' with type 'sfp'; replaced class 'rep' with class 'sfp'; renamed REP('a) to SFP('a);
2010-05-19 huffman 2010-05-19 move some example files into new HOLCF/Tutorial directory