[isabelle-dev] Receiving error after importing Multivariate_Analysis.thy

charmi panchal charmipanchal2006 at gmail.com
Thu Mar 15 10:54:24 CET 2012

I am practicing Isabelle in JEdit and  importing  a theory file
Multivariate_Analysis for one the theory.

Here I  have begin with the following document..


The example that I was trying to do is mentioned in page 13 and commands
given in footnote is already executed but still it gives the same error..

 Missing theory (file "/Users/charmi/test-isabelle/

One more query I wish to solve is.. From where I can FindTheorems in JEdit
? (Like in Emacs . it is ProofGeneral > Find Theorems)

Thanking you,
Best regards
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20120315/838d8a96/attachment.html>

More information about the isabelle-dev mailing list