| 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 |
| Tue, 07 Nov 2006 19:40:56 +0100 | wenzelm | removed obsolete theorem statements (cf. specification.ML); | changeset | files |
| Tue, 07 Nov 2006 19:40:13 +0100 | wenzelm | tuned specifications; | changeset | files |
| Tue, 07 Nov 2006 19:39:54 +0100 | wenzelm | fixed locale fact references; | changeset | files |