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 |
Wed, 08 Nov 2006 00:34:15 +0100 | huffman | generalized types of of_nat and of_int to work with non-commutative types | changeset | files |
Tue, 07 Nov 2006 22:06:32 +0100 | krauss | untabified | changeset | files |
Tue, 07 Nov 2006 21:30:03 +0100 | wenzelm | complex goal statements: misc cleanup; | changeset | files |
Tue, 07 Nov 2006 21:28:14 +0100 | krauss | Added datatype hook to declare all case_congs as "fundef_cong" automatically. | changeset | files |