diff -r fb6c29a90003 -r d8c376662bb4 ProgTutorial/Recipes/ExternalSolver.thy
--- a/ProgTutorial/Recipes/ExternalSolver.thy	Mon Apr 30 12:36:32 2012 +0100
+++ b/ProgTutorial/Recipes/ExternalSolver.thy	Mon Apr 30 14:43:52 2012 +0100
@@ -50,4 +50,4 @@
 *}
 
 
-end
\ No newline at end of file
+end