Job 201

CakeML:ca1328bad4fdadd20a276afc46ebf72df6256e88
  Remove num_exp from WordLang [Feb 02 01:54:19]
#451 (num_exp)
Merging into:19c41e5bac090d86a4245e2b6054ef710c42a402
  Remove use of global grammar in encoders/asm/asmLib [Feb 02 12:00:22]
HOL:acdd35f17d1556083cffcbddd60aef373f0afbe2
  Rationalise handling of Unicode lowercase phi characters [Feb 04 06:15:17]
Machine:cakeml1853 4.4.0-22-generic x86_64 GNU/Linux

Feb 05 00:52:54 Claimed job
Feb 05 00:53:03 Building HOL