bin/.gitignore deleted?
Merge branch 'master' of https://github.com/moerkb/natural-deduction.git
propositional rules changed to new structure (pre/post/dir)