[isabelle] Receiving error by importing theory file Sum_Of_Squares

I am trying to import the .thy file " Sum_Of_Squares ", like wise it is
done in one of the Demo files

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 ?

Charmi Panchal

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