
diff -r 3e37322465e2 -r 87eca760dcba Tutorial/Tutorial5.thy
--- a/Tutorial/Tutorial5.thy	Wed Feb 29 17:14:31 2012 +0000
+++ b/Tutorial/Tutorial5.thy	Mon Mar 05 16:27:28 2012 +0000
@@ -1,4 +1,3 @@
-
 
 theory Tutorial5
 imports Tutorial4




