Rename files for ITS. Remove binaries.
[pdp10-muddle.git] / MUDDLE / pfunct.12
2018-02-18 Lars BrinkhoffITS Muddle.