[isabelle-dev] Pow

[Lawrence Paulson]

Anybody know why "find theorems" can find nothing about the power set operator? Other set theoretic primitives, such as Union and insert, work fine.
Larry
-------------- next part --------------
A non-text attachment was scrubbed...
Name: screen-capture.png
Type: image/png
Size: 24748 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20091214/d00ff2a7/attachment-0001.png>