Add Heise
Add Annika's KB proof
Merge branch 'master' of https://github.com/FormalTheology/GoedelGod

* 'master' of https://github.com/FormalTheology/GoedelGod:
  reduced paper to two pages
Move newcommands and newenvironments to separate packages
Add draft definition of package
Add draft definition of the natural deduction calculus
Add corollary C2 to THF formalization.