273 in

   273 in

   274   Drule.instantiate' [SOME cty] [SOME ct] @{thm equivp_hack}

   274   Drule.instantiate' [SOME cty] [SOME ct] @{thm equivp_hack}

   275 end

   275 end

   276 *}

   276 *}

   277 

   277 

   279 ML {* val cheat_equivp = Unsynchronized.ref false *}

   278 ML {* val cheat_equivp = Unsynchronized.ref false *}

   280 ML {* val cheat_fv_rsp = Unsynchronized.ref false *}

   279 ML {* val cheat_fv_rsp = Unsynchronized.ref false *}

   281 ML {* val cheat_alpha_bn_rsp = Unsynchronized.ref false *}

   280 ML {* val cheat_alpha_bn_rsp = Unsynchronized.ref false *}

   282 ML {* val cheat_supp_eq = Unsynchronized.ref false *}

   281 ML {* val cheat_supp_eq = Unsynchronized.ref false *}

   283 

   282