Local Hint Resolve perm_implies: mem.

(* Specifications: *)
Theorem perm_cur_max:
forall m b ofs p, perm m b ofs Cur p -> perm m b ofs Max p.
Theorem perm_cur:
forall m b ofs k p, perm m b ofs Cur p -> perm m b ofs k p.
Theorem perm_max:
forall m b ofs k p, perm m b ofs k p -> perm m b ofs Max p.
Theorem perm_cur_max:
forall m b ofs p, perm m b ofs Cur p -> perm m b ofs Max p.
Theorem perm_cur:
forall m b ofs k p, perm m b ofs Cur p -> perm m b ofs k p.
Theorem perm_max:
forall m b ofs k p, perm m b ofs k p -> perm m b ofs Max p.