Pascal no es un lenguaje manejador de bases de datos, los mencanismos de lectura y escritura de un archivo con tipo son abstracciones de lo que el sistema oprativo puede hacer y este no contempla en ningún caso el borrado de un registro "en el medio", por lo que la implementación de esta funcionalidad queda a cargo del programa de aplicación. Existen varias formas de abordar este problema pero creo que el más sencillo es que cuando crees la estructura de registro de tu archivo incluyas un campo de tipo boolean que puesto a true indicará que ese registro está borrado, cuando leas el archivo deberías ignorar estos registros con este campo en este valor. Para compactar el archivo, es decir eliminar físicamente los registros marcados para borrar, deberías proceder a leer secuencialmente el archivo de punta a punta y volcar los registros no borrados a un archivo temporal, borrar el archivo original y renombrar el temporal con el mismo nombre que el original, lo que convertiría al temporal en el nuevo original ya sin los registros borrados. Esta tecnica la usan por ejemplo los manejadores de bases de datos basados en el formato .DBF y Paradox.