I will describe an extension of Berthelot's theory of arithmetic differential operators to a class of morphisms of adic formal schemes that are not necessarily of finite type, or even adic. If time permits I will explain how one can use this to give generalizations of the theory of convergent and overconvergent isocrystals.