Este procedimiento genera una lista de los MFN borrados (lógica y físicamente) en una base ISIS. Esta es la versión para Linux; para Windows hay que reemplazar el comando diff por fc, y el comando grep por find.

# Primero generamos una lista de los MFN de los registros activos.
mx biblio "pft=mfn/" now > mfn-activos
 
# 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 > mfn-todos
 
# Finalmente, obtenemos la diferencia entre ambas listas, es decir, los MFN de los registros borrados.
diff mfn-todos mfn-activos | grep "<"