Basic facts about Lipschitz maps
Lipschitz property for + and -
Lipschitz maps.

A theory of local Lipschitz maps, not quite finished yet.
It refuses to find instances of type classes.
Merge branch 'master' of github.com:andrejbauer/dedekind-reals