| 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 |
| Tue, 18 Mar 2008 20:33:29 +0100 | wenzelm | removed redundant less_trans, less_linear, le_imp_less_or_eq, le_less_trans, less_le_trans (cf. Orderings.thy); | changeset | files |
| Tue, 18 Mar 2008 20:33:28 +0100 | wenzelm | avoid rebinding of existing facts; | changeset | files |
| Mon, 17 Mar 2008 22:34:27 +0100 | wenzelm | avoid rebinding of existing facts; | changeset | files |