Job 208

CakeML:0b7197a3eeeccad25727f909bf9a1db4d704e902
  Isabelle adaptation without 'undefined' [Feb 06 09:30:08]
#453 (larsrh-3)
Merging into:800745426c5c2ef2f5c5475c26640641dd222f04
  Fix more references to word_shift and shift definitions [Feb 06 22:15:14]
HOL:acdd35f17d1556083cffcbddd60aef373f0afbe2
  Rationalise handling of Unicode lowercase phi characters [Feb 04 06:15:17]
Machine:cakeml1796 4.4.0-22-generic x86_64 GNU/Linux

Feb 07 04:17:34 Claimed job
Feb 07 04:17:41 Reusing HOL