removing file from context

[Hanne Gottliebsen <hago@dcs.st-and.ac.uk>]

I saved a theory file under the wrong name (!) and now that I've got it
with the right name and have deleted the wrongly named file, quit pvs,
removed all the binaries and restarted pvs, it still insists that the
theory already exists in another file. 

I guess I somehow need that wrongly named file out of the context, but
how?

Thanks,
Hanne
---------------------------------------------------------
Hanne Gottliebsen		    Office P337
Dept. of Computer Science	    Ph: +44 1334 46 3265
University of St Andrews	    hago@dcs.st-and.ac.uk
  - I want a single-skin cotton tent like Mr Weasley's
---------------------------------------------------------