Job 2133

CakeML:e7813d9bdcb11d626cd27b973330da551f89a102
  check derived dominate associated constraints [Apr 03 10:14:22]
#955 (vipr)
Merging into:5e0612a6f93d34e570019c2a768cbd4736402abe
  Fix for change to finite_mapSyntax in HOL [May 25 02:29:21]
HOL:8a1c5607fb8c5be3be18fbe7a3653c704b0ea4da
  Manual: mention that LaTeX munging handles record types OK [May 23 05:56:07]
Machine:pavlova

May 25 10:28:21 Claimed job