Update for COQ property table