# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1267516144 -3600
# Node ID 9866dffd387d36dc5de89a95e84ea6fc95b4d5a4
# Parent  0ab16694c3c1a3e3f6d201a5378b43e9c105f106# Parent  790940e90db27343612c5779207748ad54e10f2b
merge

diff -r 790940e90db2 -r 9866dffd387d Nominal/Test.thy
--- a/Nominal/Test.thy	Tue Mar 02 08:43:53 2010 +0100
+++ b/Nominal/Test.thy	Tue Mar 02 08:49:04 2010 +0100
@@ -23,6 +23,7 @@
 thm bi_raw.simps
 thm permute_lam_raw_permute_bp_raw.simps
 thm alpha_lam_raw_alpha_bp_raw.intros
+thm fv_lam_raw_fv_bp_raw.simps
 
 print_theorems