Job 2874

CakeML:2a9deab6e91db380747768935512d60a84818734
  letrec progress/validity [May 31 01:26:21]
#1183 (scheme)
Merging into:b378040fc02c949ecd0a24ced798201a572514a4
  Merge pull request #1186 from CakeML/mcandidate-fix [Jun 16 00:47:48]
HOL:718b3aaabc70079271693d5540ba16669c2e7ad2
  fix EVERY_CASE_TAC proof [Jun 24 17:29:02]
Machine:pavlova

Jun 25 08:54:22 Claimed job