Job 3154

CakeML:1fda3302db5a0d818fd0e0a3a08b9cf713252212
  Add a simp theorem for strcat/strlit/cons [Jan 21 23:58:35]
#1312 (talsewell:mlstring_common_char_prefix)
Merging into:77cbb88a69527fe7eb542f5aa746cc11f57b21e4
  Remove some unnecessary proof obligations from CF  (#1310) [Jan 17 04:54:16]
HOL:4bbb1ec36b9701b9273024276cb31821e6043f6b
  Merge pull request #1791 from HOL-Theorem-Prover/ty_sub_change [Jan 22 07:06:22]