Wed, 03 Mar 2010 06:48:00 -0800 | huffman | add function axiomatize_lub_take | changeset | files |
Wed, 03 Mar 2010 06:25:42 -0800 | huffman | move function mk_lub into holcf_library.ML | changeset | files |
Wed, 03 Mar 2010 22:50:35 +0100 | wenzelm | added extern_syntax; | changeset | files |