[isabelle] Complex Main package
I am just wondering if you know how to load the Complex-Main package
in Isabelle. I have
But it says "*** Could not find theory file "Complex_Main.thy" in dir(s)
"/home/s0456778", ".", "$ISABELLE_HOME/src/HOL/Library"
*** Theory loader: the error(s) above occurred while examining theory
*** At command "theory".
Not sure if I am doing something wrong or not but I need to get the
working. Also do you know if this package should work off the Bootable
disk, as I could
not get Isabelle to run off my hard drive which is not ideal?
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
This archive was generated by a fusion of
Pipermail (Mailman edition) and