Google
 

Trailing-Edge - PDP-10 Archives - k20v7b - mfg/dismount.mic
There are no other files named dismount.mic in the archive.
@CONN PS:
@DISMOUNT 'A:
@OPR
*
*DISMOUNT STRUCTURE 'A:
*