wenzelm [Wed, 03 Nov 2010 10:51:40 +0100] rev 40572
try_param_tac: plain user error appears more appropriate;
wenzelm [Wed, 03 Nov 2010 10:48:55 +0100] rev 40571
replaced ancient sys_error by raise Fail, assuming that the latter is not handled specifically by the environment;
wenzelm [Wed, 03 Nov 2010 10:20:37 +0100] rev 40570
eliminated dead code;
wenzelm [Wed, 03 Nov 2010 10:18:05 +0100] rev 40569
more conventional exceptions for abstract syntax operations -- eliminated ancient SYS_ERROR;
proper signature constraint;
huffman [Wed, 03 Nov 2010 07:02:09 -0700] rev 40568
merged
huffman [Sat, 30 Oct 2010 15:13:11 -0700] rev 40567
change default_sort of HOLCF from pcpo to bifinite; rename command 'new_domain' to 'domain'; rename 'domain' to 'domain (unsafe)'
huffman [Sat, 30 Oct 2010 12:25:18 -0700] rev 40566
merged
huffman [Fri, 29 Oct 2010 17:15:28 -0700] rev 40565
renamed {Rep,Abs}_CFun to {Rep,Abs}_cfun
huffman [Fri, 29 Oct 2010 16:51:40 -0700] rev 40564
renamed lemma cont2cont_Rep_CFun to cont2cont_APP
huffman [Fri, 29 Oct 2010 16:24:07 -0700] rev 40563
simplify proof of typedef_cont_Abs