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 |