Job 952

CakeML:798f9038da4ed99a012bf8337a16ff5960d27d62
  Merge branch 'master' into fp_basis [Jul 23 08:28:02]
#671 (fp_basis)
Merging into:7fd70910f8d379bf4ebecddca50b24450bf1bb16
  Merge pull request #668 from CakeML/trans-char-list [Jul 18 13:59:56]
HOL:e736cb4999577a492e6abd84f789113b9a4c80c3
  Use new Inductive syntax in PEG theory [Jul 23 03:51:48]
Machine:brain09 4.14.127.1.amd64-smp

Jul 24 11:37:49 Claimed job