[isabelle-dev] Pow

[Lawrence Paulson]

Yes, Main is included; see below.
Larry

On 14 Dec 2009, at 12:46, Tobias Nipkow wrote:

> I get to see 21 thms. Are you sure Set is included as an ancestor, eg
> via Main?
-------------- next part --------------
A non-text attachment was scrubbed...
Name: screen-capture-1.png
Type: image/png
Size: 79920 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20091214/c5a56970/attachment-0002.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: screen-capture-2.png
Type: image/png
Size: 115941 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20091214/c5a56970/attachment-0003.png>