
diff -r 33c01075d343 -r 9c4ef0d3f36c src/HOL/Isar_examples/MutilatedCheckerboard.thy
--- a/src/HOL/Isar_examples/MutilatedCheckerboard.thy	Sun Aug 29 17:47:26 1999 +0200
+++ b/src/HOL/Isar_examples/MutilatedCheckerboard.thy	Sun Aug 29 17:52:44 1999 +0200
@@ -277,4 +277,4 @@
 qed;
 
 
-end;
\ No newline at end of file
+end;




