[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 ?
This archive was generated by a fusion of
Pipermail (Mailman edition) and