--- a/Nominal/Ex/SingleLet.thy	Mon Jun 28 15:23:56 2010 +0100
+++ b/Nominal/Ex/SingleLet.thy	Mon Jun 28 16:22:28 2010 +0100
@@ -24,6 +24,8 @@
 term Var 
 term App
 term Baz
+term bn
+term fv_trm
 
 
 typ trm