CakeML:a4a3f0b318b9eef32403ec5fbcc2157b8da0f120 Merge pull request #930 from CakeML/print_app_list [Mar 03 21:23:14] HOL:ff6e145992db7e75ae6798231ce09c3cc03538df Modernise a theorem's syntax [Feb 03 10:08:02] Machine:stove 4.15.0-143-generic x86_64 GNU/Linux Mar 04 22:01:53 Claimed job