Job 824

CakeML:97d18a828eaebf8d279e6bb9b2059b4041759060
  Fix wordfreq proof [Apr 29 15:29:41]
#629 (vstte18)
Merging into:62c51fa831d455390795c47c53f56b050a23f7ad
  Merge pull request #627 from CakeML/monadic-trans-cleanup [Apr 27 07:20:55]
HOL:8e183cc626814e8bfbee46abcbf51798ee1c69b6
  Emacs mode: fix dumb bug in M-h H [Apr 29 06:05:42]
Machine:brain08 4.14.89.1.amd64-smp x86_64 GNU/Linux

Apr 29 16:02:26 Claimed job