Job 1467

CakeML:b39b4fb6cf973c84886fd436ede81ae7d70b3603
  Merge pull request #814 from CakeML/export_type [Feb 01 09:56:45]
HOL:8e7bbd4c050ab9a90e53ae4892bbf0fb9f61dcfd
  Simplify a number of proofs in rich_list [Feb 03 23:29:38]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Feb 05 16:10:05 Claimed job
Feb 05 16:10:16 Building HOL