more changes
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
formatted some files
Merge pull request #21 from hamptonsmith/master

Some progress toward compiling Array_Realiz.  Also, fixed an incompata...
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Some progress getting Array_Realiz to compile.  Also, fixed an incompatibility where I had inadvertently introduced a Java 7 feature into JProofDisplay.
removed duplicate pre/post processor
Merge pull request #22 from yushan87/bug-fix

Bug fix
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Some fixes in the Verifier to make sure expressions get types.
Merge pull request #23 from hamptonsmith/curup

Some fixes in the Verifier to make sure expressions get types.
Some progress toward Array_Realiz
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
Merge branch 'master' of https://github.com/yushan87/RESOLVE
A variety of fixes toward getting Array_Realiz working.  Also a small architectural change for Searchers.
Merge pull request #24 from hamptonsmith/arrayRealiz

Array realiz