CakeML:371799ef0611090c155463ddcb642a80085152d7 Work around a parsing bug in HOL [Jan 07 13:35:47] HOL:05a6c64e4b3f9b7d262ed7f1704dd9333bbde1c7 Merge pull request #612 from HOL-Theorem-Prover/HOL-RL [Jan 04 02:04:01] Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux Jan 07 13:36:26 Claimed job