--- a/src/HOL/IOA/ABP/Check.ML Tue Jan 30 15:19:20 1996 +0100 +++ b/src/HOL/IOA/ABP/Check.ML Tue Jan 30 15:24:36 1996 +0100 @@ -167,4 +167,4 @@ fun nexts s A = [(s+1) mod 5]; -*) \ No newline at end of file +*)