Job 2562

CakeML:b1ed499de88e31435613e446e9c3baa483b037e5
  Use smaller heaps and set_grammar_ancestry [Aug 21 09:26:52]
#1043 (heaps)
Merging into:a61f2812e286bddf33d858448ec9dd5d671bbfcb
  Merge pull request #1025 from talsewell/word_simp_separated_if [Aug 12 08:13:37]
HOL:257a82233211da227f76888bb05d6fce7c91769c
  Remove some unused code [Aug 20 04:07:40]
Machine:pavlova

Aug 21 09:33:47 Claimed job
Aug 21 09:33:51 Reusing HOL