[isabelle-dev] Receiving error after importing Multivariate_Analysis.thy
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)
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev