Add LUniv (short)
Add Christoph's THF formalization
Remove GoedelGod from master branch