Add some type reification tricks that might be useful to improve the Coq formalization with non-rigid semantics
Improve formalization of Anderson's version in Isabelle.
Merge branch 'master' of https://github.com/FormalTheology/GoedelGod

* 'master' of https://github.com/FormalTheology/GoedelGod:
  added experiments and results
  added experiments and results
  added experiments and results
  Added THF formalization and automation of Frode Bjordal's 98 paper
  update of extended intensional version
  update of extended intensional version
  added extended intensional version
  some correction regarding base type mu