update sholSyntaxExtraTheory for theorems that moved to HOL