src/HOLCF/Library/Defl_Bifinite.thy
2010-11-09 huffman 2010-11-09 add 'predomain' class: unpointed version of bifinite
2010-10-11 huffman 2010-10-11 new theorem names: fun_below_iff, fun_belowI, cfun_eq_iff, cfun_eqI, cfun_below_iff, cfun_belowI
2010-10-11 huffman 2010-10-11 add HOLCF/Library/Defl_Bifinite.thy, which proves instance defl :: bifinite