I found that even recompiling the source without any changes does
not create exactly the same TURBO.TPL file that was included by Borland.

and, even worse:

although we have both Borland Pascal 7.0 and 7.01,
I can't find the source of the run time library of 7.01
anywhere, only of 7.0, but when using this one, other bugs
creep in like $10000 shr 31 is not equal to zero.

Did Borland Pascal 7.01 really come with source of the
run time library 7.01 or did Borland only include source of 7.0 ?

I already asked others here in the university and a
pascal developer I know and nobody seems to have the
source of the run time library 7.01, all have only 7.0
although they do have compiler version 7.01.
Borland also didn't include the run time library
of 7.01 on the master CDrom sent to universities
for local license distribution.

Has anybody ever seen this source and are you
sure that it's really the corrected version 7.01 ?

I tried that before fixing the CRT source. Using TPUMOVER I extracted
all the TPUs from the original TURBO.TPL and from the newly-compiled
one, and used FC to compare them byte-for-byte. They all matched,
apart from a 4-byte section in each one which I think must be a
timestamp used to assist in controlling the Make process. I noticed
that recompiling again gave a different value for the same 4 bytes so
I was reassured that it was not a problem.