Proves theories about functions written in Standard ML