--- a/src/HOL/Lambda/ListOrder.thy Mon Sep 30 16:12:16 2002 +0200
+++ b/src/HOL/Lambda/ListOrder.thy Mon Sep 30 16:14:02 2002 +0200
@@ -48,7 +48,7 @@
apply (erule exE)
apply (rename_tac ts)
apply (case_tac ts)
- apply force
+ apply fastsimp
apply force
apply (erule disjE)
apply blast