[isabelle-dev] some actual find_theorems functionality (fb1f026c48ff)

Fabian Immler immler at in.tum.de
Mon Aug 5 19:34:14 CEST 2013

Am 05.08.2013 um 18:02 schrieb Makarius <makarius at sketis.net>:

> On Sun, 4 Aug 2013, Fabian Immler wrote:
>> I think it is a good idea to inform everyone here that a current student's project is about to provide a bit more advanced user interface for the find theorems functionality. It should be finished in two weeks time.
> So far I only know about the existence of the project, but nothing about its contents.
Well, it is supposed to provide a GUI for find_theorems, it should provide completion in the input, but also e.g. filtering of the output.
I currently cannot access the development, so I am afraid I cannot say anything more specific at the moment.


More information about the isabelle-dev mailing list