
diff -r aca9a6380c3f -r 3246c5e1a9d7 Nominal/Test.thy
--- 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"




