CakeML:fd3e72e7afc931fb4f4945cae710715da37ea03c Merge pull request #852 from CakeML/tidy-up [Jan 05 17:40:32] HOL:6b1dbc7559064a70fabbe71836947411103b499e Fix INCLUDES for src/coalgebras [Jan 07 05:56:33] Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64 Jan 11 10:17:22 Claimed job Jan 11 10:17:28 Building HOL