CakeML:b378040fc02c949ecd0a24ced798201a572514a4 Merge pull request #1186 from CakeML/mcandidate-fix [Jun 16 00:47:48] HOL:86a75cd8d1485d21d884aaa99aef55e9299ffb62 [termination] [Jun 14 17:10:27] Machine:pavlova Jun 17 05:48:57 Claimed job