[isabelle] rename_wrt_term



Could someone please tell me what rename_wrt_term does?




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.