Overview

Job 534

CakeML:2dbbedaaf12c5d667f10593bb3c9014b0969ec23
  Put semantics/proofs into characteristic's INCLUDES
#543 (characteristic-hmakefile-fix)
Merging into:eade0f2f7ccfe17bb7042cdc67f8379ff7edd270
  Add OpenTheory compiler proofs to build-sequence
HOL:5486751385fa6b1f69feee739547ec7e4ef99d7f
  Add files demonstrating problem with interactive use of INCLUDES
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

 Claimed job
 Reusing HOL