2008-01-29 huffman 2008-01-29 new term-building combinators
2007-12-20 huffman 2007-12-20 move bottom-related stuff back into Pcpo.thy
2007-12-18 huffman 2007-12-18 add class ppo of pointed partial orders; define UU in class ppo instead of pcpo; add new lemmas about lub
2007-09-23 wenzelm 2007-09-23 TypeInfer.constrain: canonical argument order;
2007-06-06 huffman 2007-06-06 use new-style class for sq_ord; rename op << to sq_le
2007-05-31 wenzelm 2007-05-31 moved HOLCF tools to canonical place;