Novadigm patents diff(1) and rdist(1).