[isabelle] thms_containing

This function seems to have disappeared form a very recent development version of Isabelle. Or, rather, it seems it recently changed its name to thms_containing_consts, since I apparently changed my own code accordingly, but now it has disappeared completely.

What has happened to it / what other function has the same or similar functionality?



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