Job 778

CakeML:363f4063657209f371cfe85a62fd00695856a200
  Linear scan: change the name of the theorem `set_MAP_FST_toAList` in  [Apr 03 07:31:27]
#623 (linear-scan)
Merging into:ab7ea440afff89d5f90e2b85415c2e27f7894561
  Use Theory.current_definitions instead of fetch [Apr 10 09:36:45]
HOL:729baf5e526741114f4346767d17d0da3a1b6c20
  Remove (generated file) Thm-sig.sml when cleaning src/thm [Apr 07 04:31:14]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Apr 10 09:38:51 Claimed job
Apr 10 09:39:10 Building HOL