| changeset 1650 | 4b949985cf57 |
| parent 1648 | 1ca332adc247 |
| child 1651 | f731e9aff866 |
--- a/Nominal/ExCoreHaskell.thy Thu Mar 25 15:06:58 2010 +0100 +++ b/Nominal/ExCoreHaskell.thy Thu Mar 25 17:30:46 2010 +0100 @@ -5,7 +5,6 @@ (* core haskell *) ML {* val _ = recursive := false *} -ML {* val _ = cheat_bn_eqvt := true *} ML {* val _ = cheat_bn_rsp := true *} ML {* val _ = cheat_const_rsp := true *} ML {* val _ = cheat_alpha_bn_rsp := true *}