Job 3152

CakeML:6e178208709346895a30c3548d15d82f5e94e58d
  Fix another ref to prim_type_cases [Jan 18 12:14:35]
#1301 (new-prims)
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]