Job 2605

CakeML:3d94cf4bb1dcb9cb298f5a7d7e34c0ec5cf16795
  Fix Field FOLDR/FOLDL in proof [Sep 14 00:36:07]
#1054 (halogentlepersuasion:pan_fields)
Merging into:de087b8310dac35007ee12fb7bd1a8ed31b632d7
  Merge pull request #1052 from CakeML/diff [Sep 13 18:57:18]
HOL:7bf55e0eb37d0d68268a5b6c2d55dc2895fd6361
  Fix bug in reduceLib.NOT_CONV [Sep 09 04:53:02]
Machine:lammmington

Sep 14 07:37:46 Claimed job
Sep 14 07:37:50 Reusing HOL
Sep 14 07:38:02 Starting developers
Sep 14 07:38:06 Finished developers                                               2s 202MB
Sep 14 07:38:07 Starting developers/bin
Sep 14 07:38:29 Finished developers/bin                                          21s   1GB
Sep 14 07:38:30 Starting compiler/proofs Sep 14 07:38:30 6538s