| changeset 2115 | 9b109ef7bf47 |
| parent 2114 | 3201a8c3456b |
| child 2119 | 238062c4c9f2 |
--- a/Nominal/NewParser.thy Wed May 12 16:32:44 2010 +0200 +++ b/Nominal/NewParser.thy Wed May 12 16:39:10 2010 +0200 @@ -275,7 +275,6 @@ end *} -ML {* val cheat_alpha_eqvt = Unsynchronized.ref false *} ML {* val cheat_equivp = Unsynchronized.ref false *} ML {* val cheat_fv_rsp = Unsynchronized.ref false *} ML {* val cheat_alpha_bn_rsp = Unsynchronized.ref false *}