Job 3534

CakeML:7170c25b5741909a2c72d2d4e0d41d20b0fc6495
  Add a reference basis_ffi.c for the proof checkers [Sep 23 11:37:17]
#1495 (xlrup)
Merging into:e0f3254c9d7511555f350b29bd7a4aa0474f07cf
  Translates and makes the AST available to the REPL (#1488) [Sep 19 09:29:03]
HOL:dfff742b1f89a43e9c1812a146e9a40d4c4d89fc
  Avoid Q.prove in Lib [Sep 16 11:12:56]