[isabelle] Complex_Main

I am having a problem with the installation instructions. I downloaded the 
cygwin Complex_Main and save it to the /usr/local. Then it was tarred with 
tar -xzf HOL-*gz. Now Isabelle still says:

*** Could not find theory file "Complex_Main.thy" in ".", "/home/Jens", 
*** Theory loader: the error(s) above occurred while examining theory 
*** At command "theory".

What could be wrong?


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