[isabelle-dev] Pow

[Tobias Nipkow]

I used the release, that's the reason. There is indeed a problem now.
See the next email by Robert.

Thanks
Tobias

Lawrence Paulson wrote:
> 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?
>>
>> ------------------------------------------------------------------------
>>
>>
>> ------------------------------------------------------------------------
>>