This guide covers migrating TPTP 4.0.0 (or earlier) resources to TPTP 4.1.0.
One of the goals of TPTP 4.1.0 was to move TPTP forward while remaining compatible
with previous versions to the greatest extent possible. While every effort way made to avoid breakage, there are a few areas of
incompatibility. This document describes the areas where TPTP changed in
incompatible ways between 4.0.0 and 4.1.0, and provides instructions for migrating
4.0.0 resources to 4.1.0.