Wolfram Schneider e627b39bac delete doubled words, e.g.: "the the" -> "the"		1996-10-05 18:37:31 +00:00
..
arp.4p
clnp.4p
cons.4
cons.4p	delete doubled words, e.g.: "the the" -> "the"	1996-10-05 18:37:31 +00:00
if.4n
iso.4f
rvd.4p
tp.4p	delete doubled words, e.g.: "the the" -> "the"	1996-10-05 18:37:31 +00:00