CakeML:32ce1c1df6c29061c81e37b612ce1a4e48f040d7 Merge pull request #1169 from talsewell/pan-const-multiply [May 13 09:58:29] HOL:725300ce5d22e30174177682d5870306852113d5 Apply a patch to lem_relation before Holmake runs [May 09 00:00:24]