CakeML:b8bdd1f7605321c03123d6e9b61c29ab779d663a Fix another SORTED_APPEND issue [Jun 16 14:38:41] HOL:511e4a42e7cb57caffe27cfa441825baa744d7ec Update src for strip_binop change [Jun 13 04:34:39] Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64 Jun 16 14:40:03 Claimed job Jun 16 14:40:07 Reusing HOL