diff -r e1764a73c292 -r 1e0b3992189c Nominal/Ex/SingleLet.thy
--- 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