Job 3590

CakeML:f6d96365e2f3f9bc13120522e3d69d208ad4a85c
  Remove old_drule, var_eq_old and temp_loose_equality retrofits [Oct 07 09:06:51]
#1536 (issue-sniping)
Merging into:f8da03aeecd4d58a35bb88286780ff7e7e4ca7d6
  Merge pull request #1508 from CakeML/source-dce [Oct 07 07:48:42]
HOL:652d1f0aad5cd537ed1e5d470ba3444e70ba470e
  Merge remote-tracking branch 'origin/master' into develop [Sep 27 02:14:15]
Machine:fairybread

Oct 07 12:06:35 Claimed job
Oct 07 12:06:47 Building HOL