Job 2792

CakeML:115d4b79a3c71d22cada078bfd2495b444998a90
  fix npbc_arrayProg [Mar 25 01:45:42]
#1151 (pb_opt)
Merging into:ca2ab4d62c65aecb5946df1cd701badfde21d7b1
  Merge pull request #1148 from CakeML/streamline-license [Mar 27 09:34:36]
HOL:08895ade4fd70a2b712966aafe4147ee043a8100
  Move some theorems to posetScript [Mar 20 23:38:07]