Cleared up problems with Imp
Cleared up problems with Imp

A few things
1) The determinism proof was causing some problem witht he comment and
Abort statement - don't know how, but I fixed it
2) Removed the SearchAbout from a Sn_nle_n

GallagherCommaJack/software-foundations,GallagherCommaJack/software-foundations