Job 2113

CakeML:4a59cb87727545e08ff4cf881911dcf91010657a
  Merge pull request #927 from CakeML/translation_update [Mar 20 11:33:19]
HOL:ff6e145992db7e75ae6798231ce09c3cc03538df
  Modernise a theorem's syntax [Feb 03 10:08:02]
Machine:pavlova

Mar 22 00:03:10 Claimed job
Mar 22 00:03:17 Building+HOL
Mar 22 00:03:24 FAILED:+building+HOL