RegEx is located in:

• patternmatching/src/RegEx.m3
• suplib/src/RegEx.m3