[isabelle] Receiving error by importing theory file Sum_Of_Squares



Hello,
I am trying to import the .thy file " Sum_Of_Squares ", like wise it is
done in one of the Demo files
http://isabelle.in.tum.de/coursematerial/PSV2009-1/session6-2/Demo.thy

Here I got an error message, it says.. Missing theory (file  work folder
location ) .

Also tried to import this file by writing path of its location in library,
but still it didn't work.

I am curious about, is there any other appropriate way to import this file ?

Thanks,
Charmi Panchal




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