Renamed
Empty files for completeness theorem + new option in makefile
Fixed bug: now negations are parsed
Checking formula's validness + gitignore updated
Fix README
Add example with several hypothesis
Fix hypothesis order