| changeset 5625 | 77e9ab9cd7b1 |
| parent 5277 | e4297d03e5d2 |
| child 5648 | fe887910e32e |
--- a/src/HOL/UNITY/Channel.ML Thu Oct 08 11:59:17 1998 +0200 +++ b/src/HOL/UNITY/Channel.ML Fri Oct 09 11:10:59 1998 +0200 @@ -33,7 +33,7 @@ by (Blast_tac 1); by Safe_tac; by (auto_tac (claset() addDs [minSet_eq_SomeD], - simpset() addsimps [le_def, nat_neq_iff])); + simpset() addsimps [le_def, linorder_neq_iff])); qed "minSet_greaterThan";