CakeML:87babfca481c23ef70165c34d3fc7802ff5d10a0 Adjust a few files for tightequality [Jun 29 19:25:25] HOL:27b999029af7e69c3496b29a745728c30561192b Fix regular-play/selftest.sml given testutils changes [Jun 26 01:16:59] Machine:brain08 4.14.127.1.amd64-smp Jun 29 19:26:36 Claimed job