-
Dan Frumin authored
Slightly generalize the way tac_tp_bind works and rewrite the fundamental property for F_mu_ref_conc using tp_ tactics
1330e552
Slightly generalize the way tac_tp_bind works and rewrite the fundamental property for F_mu_ref_conc using tp_ tactics