Este procedimiento genera una lista de los MFN borrados (lógica y físicamente) en una base ISIS. (para Linux)

# Primero generamos una lista de los MFN de los registros activos.
mx biblio "pft=mfn/" now > mfnactivos
 
# Luego, una lista de *todos* los MFN, activos o no.
# ATENCIÓN: Cambiar NNN por el máximo MFN de la base
mx tmp to=NNN "pft=mfn/" now > mfntodos
 
# Finalmente, obtenemos la diferencia entre ambas listas, es decir, los MFN de los registros borrados.
diff mfntodos mfnactivos | grep "<"