unload F

Retracts  all procedures defined in F (according to the contents of file(F,
Proc_list).  Also retracts file(F, Proc_list).
