Overview

Job 954

CakeML:771865c05a96606969aac5f75811602d8c061768
  Fix proof broken by HOL's removal of relationTheory.RTC_DEF
HOL:e736cb4999577a492e6abd84f789113b9a4c80c3
  Use new Inductive syntax in PEG theory
Machine:brain09 4.14.127.1.amd64-smp

 Claimed job
 Building HOL
 FAILED: building HOL