--- a/src/HOL/Lambda/ListOrder.thy Fri Sep 28 21:45:11 2001 +0200 +++ b/src/HOL/Lambda/ListOrder.thy Fri Sep 28 21:45:40 2001 +0200 @@ -121,4 +121,4 @@ apply blast done -end \ No newline at end of file +end