Delete 4xxx_IEEE:4067
This MR deletes 4xxx_IEEE:4067. It's incorrect in a dangerous way, and there's a correct symbol in the 74xx library that should be used instead. Fixes #3116 (closed).
The first commit contains the changes due to saving the library after the scripted edits from a previous MR. The second commit is the delete itself.
Edited by kliment