
diff -r 789fbba5c23f -r 3f36936f1280 Quot/Nominal/Fv.thy
--- a/Quot/Nominal/Fv.thy	Wed Feb 17 15:52:08 2010 +0100
+++ b/Quot/Nominal/Fv.thy	Wed Feb 17 16:22:16 2010 +0100
@@ -91,7 +91,7 @@
 end
 *}
 
-
+(* test
 atom_decl name
 
 datatype rtrm1 =
@@ -118,4 +118,6 @@
    [[], [[]], [[], []]]] *}
 print_theorems
 
+*)
+
 end




