src/HOLCF/ex/Pattern_Match.thy
2010-11-26 huffman 2010-11-26 remove case combinator for fixrec match type
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-29 huffman 2010-10-29 renamed {Rep,Abs}_CFun to {Rep,Abs}_cfun
2010-10-29 huffman 2010-10-29 renamed lemma cont2cont_Rep_CFun to cont2cont_APP
2010-10-27 huffman 2010-10-27 make syntax of continuous if-then-else consistent with HOL if-then-else
2010-10-16 huffman 2010-10-16 remove last few dependencies on domain_library.ML and delete it; temporarily disable emptiness check
2010-09-20 wenzelm 2010-09-20 renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
2010-05-24 huffman 2010-05-24 move unused pattern match syntax stuff into HOLCF/ex