CakeML:3a8cdd942237e58c14d85d24f8d9997cac1784b4 Merge pull request #718 from CakeML/lpr [Jan 16 12:30:11] HOL:76a40cfe6a3828bd446bfff504267c4197ffaaf3 documentation for nameCases stuff [Jan 18 02:32:00] Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64 Jan 19 21:46:24 Claimed job Jan 19 21:46:31 Building HOL