Job 2105

CakeML:8248fcd201378984643c5725b234d4b5b37e435e
  Move example to example theory [Feb 28 00:44:14]
#927 (translation_update)
Merging into:a4a3f0b318b9eef32403ec5fbcc2157b8da0f120
  Merge pull request #930 from CakeML/print_app_list [Mar 03 21:23:14]
HOL:ff6e145992db7e75ae6798231ce09c3cc03538df
  Modernise a theorem's syntax [Feb 03 10:08:02]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Mar 03 21:30:37 Claimed job
Mar 03 21:30:39 Reusing HOL