CakeML:c258b1a13e66d1a4a064fbf7bee9ef20eb899d07 Add diminish_srw_ss to build ARMv7 enc proofs [Mar 30 13:39:34] HOL:e2d0fafdb3ccdd098d2bd6e0aaaacbc9468ae4b1 Remove redundant compute annotation [Apr 16 23:17:23] Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64 Apr 20 08:45:58 Claimed job Apr 20 08:46:05 Building HOL