Preliminary merge done.
Fixed a number of bugs introduced in the merge.  Fixed a tree walker bug.  Fixed the MathPopulator to be in synch with the current functioning of the tree walker.  Fixed a MathPopulator bug exposed by the preprocessor changing the math equals sign into the the text Are_Not_Equals (the appropriate program operation was not actually being found, rather only the math symbol).  Fixed a verifier bug in which the type was not appropriately being set on initial values.
Merge pull request #16 from hamptonsmith/postMerge

Devil Merge
A little name cleanup.
Merge pull request #17 from hamptonsmith/postMerge

A little name cleanup.
Changed pom.xml to allow the building of an executable RESOLVE jar with dependencies bundled in. Do a maven run with the package goal to produce the jar.   Run with java -jar <path to the RESOLVE .jar> -maindir <absolute path to your MAIN>.
Merge pull request #18 from mikekab/master

Command line execution support
A small change to test visual rebase on eclipse.
Clean up .svn folders that are getting added by Netbeans.
Updated .gitignore to ignore subversion files in the future.
Some prover progress.
Some prover progress.
Some serious rearchitecting of the new prover.  Implication rule is working up to the point of highlighting bound antecedents.
Can now apply implication theorems by clicking.  Bug present related to implication theorem like i = j and i <= k.
Implication bug resolved.  Added new proof step: expression matching theorem to true.  Basic integration with interactive prover.
Visual proving working, VC forward and back.  Implementing multi-application still to go.
Fixed a bug in the type system that caused a null pointer exception when reasoning about Entity.  Added a couple more proof rules.  Obvious_Flip_Realiz, Do_Nothing_Realiz, and Iterative_Append_Realize can all be proved interactively now.
Some optimizations after profiling the prover.
Bunch of work, I don't even.
Boom. Proving Obvious_Flip_Realiz.