Wolfgang Schwarz

TPG Fix

Since it doesn't look I will be able to finish the new version of my Tree Proof Generator anytime soon, I've now added a rough fix for the problem with unrecognized old terms.