flag to disable set theory operations
totaly clean set theory
tmp
trival real example
inverse property proved
parameter for multiply uf
support for reals
merge with master
minor
tidy
use Token.{float,integer}
Update Config.hs
Merge pull request #36 from ucsd-progsys/real

Reals