Job 1129

CakeML:9309fef75cc5ec28ddc92b105a48bd83fbe03672
  Remove a cheat and add check_thm (also add README.md) [Dec 13 00:18:34]
HOL:1044b707f80a86d6302ab74b5358d0d234fd75f2
  Emacs mode: keybindings to make nice quotes easier to input [Dec 19 09:21:35]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Dec 20 00:35:47 Claimed job
Dec 20 00:35:54 Building HOL
Dec 20 00:47:11 Starting developers
Dec 20 00:47:15 Finished developers                                               4s  72MB