Wed, 08 Nov 2006 11:22:40 +0100 | wenzelm | moved contribution note to CONTRIBUTORS; | changeset | files |
Wed, 08 Nov 2006 09:08:54 +0100 | krauss | Made "termination by lexicographic_order" the default for "fun" definitions. | changeset | files |
Wed, 08 Nov 2006 02:13:02 +0100 | huffman | LIM_compose -> isCont_LIM_compose; | changeset | files |