More updates for iialso storing the lemmas discovered by HipSpec nicely, in some TheoryData. Still need to fix updates so exported to right context. Also tidied up ML code, now import IsaHipster.thy to runMore updates for also storing the lemmas discovered by HipSpec nicely, in some TheoryData. Still need to fix updates so exported to right context. Also tidied up ML code, now import IsaHipster.thy to run..