Move a Define out of the *Lib.sml file

This stops HOL from building a junk scratch theory.