Job 534

CakeML:2dbbedaaf12c5d667f10593bb3c9014b0969ec23
  Put semantics/proofs into characteristic's INCLUDES [Oct 16 03:56:40]
#543 (characteristic-hmakefile-fix)
Merging into:eade0f2f7ccfe17bb7042cdc67f8379ff7edd270
  Add OpenTheory compiler proofs to build-sequence [Oct 16 04:15:06]
HOL:5486751385fa6b1f69feee739547ec7e4ef99d7f
  Add files demonstrating problem with interactive use of INCLUDES [Oct 15 23:25:26]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Oct 16 08:30:02 Claimed job
Oct 16 08:30:10 Reusing HOL