I remember our local library got a digitized index in the early eighties ( was card based before? I was very young ). The digitized index was a couple of touch

I remember our local library got a digitized index in the early eighties ( was card based before? I was very young ). The digitized index was a couple of touchscreen terminals, which were plenty fast.