Fri, 29 Oct 2010 16:51:40 -0700 |
huffman |
renamed lemma cont2cont_Rep_CFun to cont2cont_APP
|
file |
diff |
annotate
|
Wed, 25 Aug 2010 18:36:22 +0200 |
wenzelm |
renamed Simplifier.simproc(_i) to Simplifier.simproc_global(_i) to emphasize that this is not the real thing;
|
file |
diff |
annotate
|
Wed, 29 Apr 2009 13:36:29 -0700 |
huffman |
use opaque ascription for all HOLCF code
|
file |
diff |
annotate
|
Thu, 22 Jan 2009 06:42:05 -0800 |
huffman |
removed use of prev_cont_thms reference
|
file |
diff |
annotate
|
Tue, 06 Jan 2009 09:03:37 -0800 |
huffman |
make cont_proc handle eta-contracted terms
|
file |
diff |
annotate
|
Tue, 06 Jan 2009 09:02:18 -0800 |
huffman |
implement is_closed_term using Term.loose_bvar
|
file |
diff |
annotate
|
Mon, 05 Jan 2009 15:26:57 -0800 |
huffman |
use Thm.close_derivation instead of standard
|
file |
diff |
annotate
|
Wed, 10 Dec 2008 15:31:55 -0800 |
huffman |
implement cont_proc theorem cache using theory data
|
file |
diff |
annotate
|
Wed, 10 Dec 2008 13:44:09 -0800 |
huffman |
use ML antiquotations
|
file |
diff |
annotate
|
Sat, 29 Mar 2008 22:55:49 +0100 |
wenzelm |
purely functional setup of claset/simpset/clasimpset;
|
file |
diff |
annotate
|
Sun, 29 Jul 2007 14:29:59 +0200 |
wenzelm |
marked some CRITICAL sections;
|
file |
diff |
annotate
|
Thu, 31 May 2007 14:01:58 +0200 |
wenzelm |
moved HOLCF tools to canonical place;
|
file |
diff |
annotate
|