CakeML:4a59cb87727545e08ff4cf881911dcf91010657a Merge pull request #927 from CakeML/translation_update [Mar 20 11:33:19] HOL:ff6e145992db7e75ae6798231ce09c3cc03538df Modernise a theorem's syntax [Feb 03 10:08:02] Machine:pavlova Mar 22 05:42:00 Claimed job Mar 22 07:47:20 SUCCESS