20191015.1

Changes:

• cf035c6 Add ReplaceAll operator to SequencesExt.
• 84ca02a Copy Functions.tla and useful operators from SequenceTheorems.tla [ #2 ]

This list of changes was auto generated.