[isabelle-dev] Pow

Lawrence Paulson lp15 at cam.ac.uk
Mon Dec 14 13:29:50 CET 2009

Anybody know why "find theorems" can find nothing about the power set operator? Other set theoretic primitives, such as Union and insert, work fine.
-------------- 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>

More information about the isabelle-dev mailing list