--- a/LamEx.thy	Tue Nov 03 18:09:59 2009 +0100
+++ b/LamEx.thy	Wed Nov 04 09:52:31 2009 +0100
@@ -38,6 +38,7 @@
   apply (simp_all add:a1 a2)
   apply (rule a3)
   apply (simp_all)
+  (* apply (simp add: pt_swap_bij'') *)
 sorry
 
 quotient lam = rlam / alpha