--- a/Nominal/Test.thy	Mon Mar 15 10:36:09 2010 +0100
+++ b/Nominal/Test.thy	Mon Mar 15 11:50:12 2010 +0100
@@ -6,6 +6,8 @@
 
 atom_decl name
 
+ML {* val cheat_alpha_eqvt = ref false *}
+
 nominal_datatype lam =
   VAR "name"
 | APP "lam" "lam"