avoid having to pass arguments repeatedly

git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1145 9cb10eec-f628-0410-908a-98ac1d910071
add more convenience operators and functions for the formula EDSL

git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1146 9cb10eec-f628-0410-908a-98ac1d910071
use hsreals abs for FAPDOI instead of the sqrt(x^2) trick

git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1147 9cb10eec-f628-0410-908a-98ac1d910071
gappa VCs 2 and 3 of the 5 generated by why for the cosine approximation example at http://proval.lri.fr/gallery/MyCosineRounding.en.html

git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1148 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1153 9cb10eec-f628-0410-908a-98ac1d910071
Added proval cosine VC


git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1161 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1162 9cb10eec-f628-0410-908a-98ac1d910071
added support for  sine, cosine and atan; incomplete instance Floating Term

git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1163 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1164 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1165 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1166 9cb10eec-f628-0410-908a-98ac1d910071
Added Boolean literals to prover language.


git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1171 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1173 9cb10eec-f628-0410-908a-98ac1d910071
test case for cosine bug


git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1174 9cb10eec-f628-0410-908a-98ac1d910071
make it possible to call evalTerm outside the definition of evalForm

git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1175 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1177 9cb10eec-f628-0410-908a-98ac1d910071
export readBox to simplify testing

git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1182 9cb10eec-f628-0410-908a-98ac1d910071
moving readsiv.hs and adding some parsec code there - compiles but not tested


git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1183 9cb10eec-f628-0410-908a-98ac1d910071
can parse terms

git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1185 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1186 9cb10eec-f628-0410-908a-98ac1d910071