Job 1745

CakeML:fe46ca072678de42c6fdfc32f40eafeb917dab02
  Fix proof broken by HOL changes making more rewrites automatic [Jan 20 00:31:55]
HOL:a6997b93e871c1306b82caf1f7333e32e21c4db0
  Reinstate the old xDefine and tDefine functions (at least in bossLib) [Jan 28 05:26:17]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jan 29 06:16:22 Claimed job
Jan 29 06:16:23 Reusing HOL