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>
