[isabelle] Lemma location suggestion tool



Hi,

thanks to the help on this list I was able to create a small command
that suggest a suitable theory for a lemma, after you have stated and
proved it in a theory with more dependencies than necessary.

See https://github.com/nomeata/isa-where-to-move
for an example, installation instructions, a little bit of documentation
and especially the incomplete list of "Bugs and shortcomings".

Let me know if you found it useful!

Greetings,
Joachim

-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner

Attachment: signature.asc
Description: This is a digitally signed message part



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