Job 536

CakeML:d83742f10a36f76853fc6e0d9de26bfa02ec9f3a
  Update HOL_STORE precondition theorem [Oct 10 20:10:02]
#511 (argparse)
Merging into:eade0f2f7ccfe17bb7042cdc67f8379ff7edd270
  Add OpenTheory compiler proofs to build-sequence [Oct 16 04:15:06]
HOL:1b4a5d5506b74451f62ba916ec8e07ecac2aad6a
  Merge pull request #603 from thtuerk/fix_pattern_match_demo [Oct 17 23:30:26]
Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

Oct 18 23:15:54 Claimed job
Oct 18 23:18:44 Building HOL