GdelP/deprecated_mathold archive