Update README.md to include code coverage badge
Update the coveralls plugin version to fix upload issue
Merge branch 'feature/SwitchToScala210'
Small fix in folding documents
Declaration's weight should be more flexible
Support for function types in the transformer
Testing InSynth support (in progress)
Added complex proof tree reconstruction test
Modified some logging and output formats
Fixed bug that caused seeing more terms than there are available
Added more tests to exercise possible term combinations
Merge branch 'master' into development
Fixed sbt version
Multiple variables test (occurs in InSynth for Scala)
Changed testdomain QueryBuilder
Each declaration now needs to know if it is abstract (introduced variable to the context) or not
Solved the problem of using multiple variables from the context
Fixed binary stream so that enumeratedSize reflects the number of iterator advances
Transformer can now apply functions as higher-order
Added tests that combine asbtractions and high-order applications