(BIN) connections.dvi.Z
 (BIN) cts.dvi.Z
 (BIN) fibrations.dvi.Z
 (BIN) gkp.dvi.Z
 (BIN) ioauto.dvi.Z
 (BIN) prolog.dvi.Z
 (BIN) relations.dvi.Z
 (BIN) residuals.dvi.Z
 (BIN) spans.dvi.Z
 (BIN) stability.dvi.Z