Update open-logic.sty
Merge branch 'master' of https://github.com/OpenLogicProject/OpenLogic

Conflicts:
	open-logic.sty
added a few tokens
Merge pull request #9 from rzach/more-tokens

More tokens