diff -r 7044f796d8d1 -r 3e9b4ce0aeca Paper/Paper.thy
--- a/Paper/Paper.thy	Fri Oct 08 15:37:11 2010 +0100
+++ b/Paper/Paper.thy	Fri Oct 08 23:49:18 2010 +0100
@@ -2389,8 +2389,8 @@
   also for patiently explaining some of the finer points of the work on the Ott-tool.
   %Stephanie Weirich suggested to separate the subgrammars
   %of kinds and types in our Core-Haskell example. \\[-6mm] 
+*}
 
-*}
 
 (*<*)
 end