[isabelle-dev] Pow

Tobias Nipkow nipkow at in.tum.de
Mon Dec 14 14:08:08 CET 2009


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?
>>
>> ------------------------------------------------------------------------
>>
>>
>> ------------------------------------------------------------------------
>>




More information about the isabelle-dev mailing list