What's the difference between Map and Mapping in Isabelle?

Question

So I went to the internet, and I found these:

https://isabelle.in.tum.de/library/HOL/HOL/Map.html (Map)

https://isabelle.in.tum.de/library/HOL/HOL-Library/Mapping.