Job 2093

CakeML:4aa53b5a0f34ba8cf84d8ac84f2e288342af905c
  pancake: some cleanup [Feb 03 06:30:09]
#923 (pan_misc_lemmas)
Merging into:0a80d59e3ef322e4ad28193e97b5d425c5fd2df4
  Merge pull request #922 from CakeML/unzip-fix [Jan 22 17:17:11]
HOL:ff6e145992db7e75ae6798231ce09c3cc03538df
  Modernise a theorem's syntax [Feb 03 10:08:02]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Feb 08 11:44:46 Claimed job
Feb 08 11:44:51 Building HOL
Feb 08 11:57:15 Starting developers
Feb 08 11:57:21 Finished developers                                               5s 162MB
Feb 08 11:57:21 Starting developers/bin
Feb 08 11:57:27 Finished developers/bin                                           6s   1GB
Feb 08 11:57:27 Starting compiler/proofs Feb 08 11:57:27 6539s