Logic Forms
Merge remote-tracking branch 'refs/remotes/origin/master'

Conflicts:
	smtlib.aux
	smtlib.blg
	smtlib.log
	smtlib.out
	smtlib.pdf
	smtlib.synctex.gz
	smtlib.tex