included missing lemmas
partial progress on proving list head example
checked truth value before pattern expansion
refactoring: adding helper methods to simplify common operations
updated head.spec and included it in regression test
added location and source information to Java backend Rule
revised head_spec
Merge pull request #830 from yilongli/prove-simple-list-head

Prove simple list head
temporary fix for issue 850
Merge pull request #847 from yilongli/add-loc-and-source-info-to-Java-backend-rule

added location and source information to Java backend Rule
Merge pull request #851 from yilongli/temporary-fix-for-issue-850

temporary fix for issue 850
refactor build system to use maven - moving all files
refactor build system to use maven - change code files to make build system work
add quotes to PATH in batch scripts
fix spaces on linux
update readme to name VC++2012 as a dependency
move gappa and sdf2table back to lib
fix slow build
update to latest compiler and resources plugins
turn off dependencySets because it's too slow