Added unit test, found bug.
Towards #7
Complete rewrite of the example, now based on Russell-Bernays axiom system
Towards #7
Added unit test to figure out whether false theorems are generated.
Towards #7
Added documentation
Towards #7
Make unit test work in xterm too.
Towards #7
Add README reference to the new test
Towards #7
Fixes #7

* proplogic-7:
  Add README reference to the new test Towards #7
  Make unit test work in xterm too. Towards #7
  Added documentation Towards #7
  Added unit test to figure out whether false theorems are generated. Towards #7
  Complete rewrite of the example, now based on Russell-Bernays axiom system Towards #7
  Added unit test, found bug. Towards #7