Job 2187

CakeML:6ff7f36f3d121f06266c2280d68bf9e2dd52a6de
  Update perms_ok proofs [Aug 17 19:40:01]
#969 (issue-916)
Merging into:5c1bae6b33cf93343962f658faefefee12f74a9c
  Merge pull request #965 from CakeML/explorer [Aug 10 04:53:38]
HOL:357d6c43687341407aee3390b69b4f1a7ef5cf57
  Modernise some ratScript.sml syntax [Aug 15 05:20:32]
Machine:pavlova

Aug 18 06:36:21 Claimed job