A Theorem Prover for Meta Theory