Library Stdlib.Strings.PrimStringAxioms

From Corelib Require Export PrimStringAxioms.