src/HOLCF/pcpodef_package.ML
2006-01-21 wenzelm 2006-01-21 simplified type attribute;
2006-01-14 wenzelm 2006-01-14 sane ERROR handling;
2005-12-09 haftmann 2005-12-09 oriented result pairs in PureThy
2005-12-06 haftmann 2005-12-06 re-oriented some result tuples in PureThy
2005-10-11 huffman 2005-10-11 added theorem typedef_compact
2005-10-10 huffman 2005-10-10 cleaned up; renamed "Porder.op <<" to "Porder.<<"
2005-09-13 wenzelm 2005-09-13 tuned IsarThy.theorem_i;
2005-09-12 haftmann 2005-09-12 introduced new-style AList operations
2005-08-16 wenzelm 2005-08-16 OuterKeyword;
2005-07-26 huffman 2005-07-26 removed duplicated code; generate new lub and thelub lemmas for new cpo types
2005-07-06 huffman 2005-07-06 new type definition package for HOLCF