> Does anyone out there know what these paper tape punches > were used with? Or who made them? Tally P-120 http://www.bitsavers.org/pdf/tally/SO_P-120_P-120_InstrMan_Nov66.pdf