Michael Pendec also wrote a great copyprog, which I have.
But Galahad ... what now?
Are you no longer wanting to make people believe that Tadic was known under Antiaction?
I hope so ('bout time dammit, after 4 years
) ... then in HOL, I'm going to assign Boberg the correct handle he deserves