diff -r 75af61f32ece -r f1c0a66284d3 LamEx.thy
--- a/LamEx.thy	Sat Nov 28 14:15:05 2009 +0100
+++ b/LamEx.thy	Sat Nov 28 14:33:04 2009 +0100
@@ -264,12 +264,6 @@
 (* Construction Site code *)
 
 
-
-
-
-
-
-
 fun
   option_map::"('a \<Rightarrow> 'b) \<Rightarrow> ('a noption) \<Rightarrow> ('b noption)"
 where