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