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

Fabian Immler immler at in.tum.de
Sun Aug 4 19:45:08 CEST 2013


Hi isabelle-dev,

Makrius should know already, but 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.

Fabian



More information about the isabelle-dev mailing list