[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?

regards,

Jeremy






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