Job 2322

CakeML:756998608a9dc6b18a46f4bee547ee056baed75a
  update word_to_stackProof for the syntax change (remove THE) [Mar 06 03:21:04]
#977 (share_mem_new2)
Merging into:865f0382dcffc38919b6d1ae355d103e3f570dc5
  Merge pull request #982 from CakeML/contexts [Mar 03 14:31:28]
HOL:f05effb80e1f085268cf2c2e77ea27f2dfcc707b
  add few finite map theorems [Feb 29 22:43:20]
Machine:pavlova

Mar 06 03:53:32 Claimed job