Tue, 18 Mar 2008 20:34:26 +0100 | wenzelm | updated generated files; | changeset | files |
Tue, 18 Mar 2008 20:33:33 +0100 | wenzelm | tuned proof; | changeset | files |
Tue, 18 Mar 2008 20:33:31 +0100 | wenzelm | removed redundant less_trans, less_linear, le_imp_less_or_eq, le_less_trans, less_le_trans (cf. Orderings.thy); | changeset | files |