Job 950

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:82d22572447f09b9a4f5f3ddb148fb12a47b2f34
  Implement INST_TYPE facility within Q.SPEC_THEN [Jul 22 08:07:18]
Machine:brain08 4.14.127.1.amd64-smp

Jul 23 08:53:24 Claimed job