Some progress on proof maintenance