: not available
URL:
https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20091214/d00ff2a7/attachment-0001.png
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
There seem to be quite a few problems with find_theorems at the moment;
various searches do not return any results, e.g. prepending (100) to any
search. Changeset a03f3f9874f6 seems to be working whereas in
ada58d813783 the search is broken.
Robert Himmelmann
Tobias Nipkow schrieb:
I get to see
: 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