Fiddled with xml file, /theorems, going to add a way to only pre add certain theorems in a thesis to the pda