Overview

Job 825

CakeML:97d18a828eaebf8d279e6bb9b2059b4041759060
  Fix wordfreq proof
#629 (vstte18)
Merging into:62c51fa831d455390795c47c53f56b050a23f7ad
  Merge pull request #627 from CakeML/monadic-trans-cleanup
HOL:8e183cc626814e8bfbee46abcbf51798ee1c69b6
  Emacs mode: fix dumb bug in M-h H
Machine:af5f36dd9acf 4.14.89.1.amd64-smp x86_64 GNU/Linux

 Claimed job
 Building HOL