Job 967

CakeML:5a0dba891bc5cf80452855d9a6916a31000e0b6b
  Merge pull request #672 from Jonas-R/pmatch-hints [Jul 26 19:51:40]
HOL:e07c8c4b477de3d90955fd9015c2a12797ff00e4
  Polyscripter-ise much more of DESCRIPTION's Core Theories chapter [Jul 25 01:01:55]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jul 27 02:15:01 Claimed job
Jul 27 02:15:08 Reusing HOL