Overview

Job 2105

CakeML:8248fcd201378984643c5725b234d4b5b37e435e
  Move example to example theory
#927 (translation_update)
Merging into:a4a3f0b318b9eef32403ec5fbcc2157b8da0f120
  Merge pull request #930 from CakeML/print_app_list
HOL:ff6e145992db7e75ae6798231ce09c3cc03538df
  Modernise a theorem's syntax
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

 Claimed job
 Reusing HOL