Update predefined theorems list