Job 955

CakeML:840ccb3c0c6ecc230ad05d07d0e2bb7649a4977a
  Merge branch 'master' into fp_basis [Jul 24 12:10:18]
#671 (fp_basis)
Merging into:771865c05a96606969aac5f75811602d8c061768
  Fix proof broken by HOL's removal of relationTheory.RTC_DEF [Jul 24 12:06:35]
HOL:e736cb4999577a492e6abd84f789113b9a4c80c3
  Use new Inductive syntax in PEG theory [Jul 23 03:51:48]
Machine:brain09 4.14.127.1.amd64-smp

Jul 24 12:13:14 Claimed job