Job 960

CakeML:22f2002bb1e1a851df824bcc0e81e3f38f708dbd
  Use classic pattern matching heuristic [Jul 23 10:41:48]
#672 (pmatch-hints)
Merging into:6a2bd88da127f2784992626bd3d46e35bafd91f8
  Merge pull request #670 from CakeML/refactor-flat [Jul 25 06:57:19]
HOL:e736cb4999577a492e6abd84f789113b9a4c80c3
  Use new Inductive syntax in PEG theory [Jul 23 03:51:48]
Machine:te1

Jul 25 09:17:30 Claimed job