added function for listing all theorems, lemmas or conjectures present in the selected theory file