| Wed, 27 Oct 2010 11:06:53 -0700 |
huffman |
make op -->> infixr, to match op --->
|
file |
diff |
annotate
|
| Sun, 24 Oct 2010 15:19:17 -0700 |
huffman |
rename constant 'one_when' to 'one_case'
|
file |
diff |
annotate
|
| Sat, 16 Oct 2010 14:41:11 -0700 |
huffman |
add functions mk_imp, mk_all
|
file |
diff |
annotate
|
| Fri, 15 Oct 2010 06:08:42 -0700 |
huffman |
add function mk_adm
|
file |
diff |
annotate
|
| Mon, 24 May 2010 09:32:52 -0700 |
huffman |
rename type 'a maybe to 'a match; rename Fixrec.return to Fixrec.succeed
|
file |
diff |
annotate
|
| Mon, 22 Mar 2010 15:53:25 -0700 |
huffman |
error -> raise Fail
|
file |
diff |
annotate
|
| Mon, 22 Mar 2010 15:23:16 -0700 |
huffman |
remove obsolete holcf_logic.ML
|
file |
diff |
annotate
|
| Sun, 14 Mar 2010 00:51:58 -0800 |
huffman |
move functions into holcf_library.ML
|
file |
diff |
annotate
|
| Wed, 03 Mar 2010 06:25:42 -0800 |
huffman |
move function mk_lub into holcf_library.ML
|
file |
diff |
annotate
|
| Tue, 02 Mar 2010 17:21:10 -0800 |
huffman |
proper names for types cfun, sprod, ssum
|
file |
diff |
annotate
|
| Mon, 01 Mar 2010 16:36:25 -0800 |
huffman |
add function define_take_functions
|
file |
diff |
annotate
|
| Sun, 28 Feb 2010 15:43:09 -0800 |
huffman |
fix infix declarations
|
file |
diff |
annotate
|
| Sun, 28 Feb 2010 15:30:44 -0800 |
huffman |
move common functions into new file holcf_library.ML
|
file |
diff |
annotate
|