CakeML:585f98548bc4f3a56cd123b6bb2543d4f49cac67 Merge pull request #1400 from halogentlepersuasion/pan_shape_structs_ [May 25 14:25:11] HOL:c7b52ad03fb162477aad3544b5d81e2e194f467e Holmake/Mosml: compile HM_TheoryDat into the Mosml Holmake build [May 24 02:43:20]