Re: [isabelle] thm_deps



John Matthews wrote:
Thanks Stefan, your function works exactly as advertised. Please let me know if you decide to add this to the Isabelle repository, so that I use the official version.

Dear John,

I have just added the function to the repository. If nothing goes wrong,
it should appear in the development snapshot tomorrow.

Greetings,
Stefan

--
Dr. Stefan Berghofer               E-Mail: berghofe at in.tum.de
Institut fuer Informatik           Phone: +49 89 289 17328
Technische Universitaet Muenchen   Fax:   +49 89 289 17307
Boltzmannstr. 3                    Room: 01.11.059
85748 Garching, GERMANY            http://www.in.tum.de/~berghofe






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.