simple-smt-0.5.1: CHANGES

0.5.1:  Add 'define' commands
0.5:    Adds more bit-wise operations
0.4:    Fixes definiiton of `geq`