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
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)
This archive was generated by a fusion of
Pipermail (Mailman edition) and