| Fri, 29 Oct 2010 17:15:28 -0700 |
huffman |
renamed {Rep,Abs}_CFun to {Rep,Abs}_cfun
|
file |
diff |
annotate
|
| 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
|