src/HOLCF/Up.ML
2005-07-08 huffman 2005-07-08 define 'a u with datatype package; removed obsolete lemmas; renamed upE1 to upE and Exh_Up1 to Exh_Up; cleaned up
2005-06-08 huffman 2005-06-08 major cleanup: rewrote cpo proofs, removed obsolete lemmas, renamed some lemmas
2005-03-04 huffman 2005-03-04 converted to new-style theories, and combined numbered files