[isabelle] thms_containing




I've just donwloaded a new development version of Isabelle and I find
that thms_containing no longer exists.

I've looked at the NEWS and find:


* Command 'thms_containing' has been discontinued in favour of
'find_theorems'; INCOMPATIBILITY.

The trouble is, 'find_theorems' doesn't seem to exist either.
Well, actually, its features are extolled at such length that
I assume it exists - but how do I use it?
It's not mentioned in the reference manual (which, incidentally,
still shows  thms_containing)

Jeremy





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