CakeML:647a11e7fd30db7a862d9655aa3abbb231c1e199 Fix Candle breakage caused by HOL-Theorem-Prover/HOL@d64dda1e4e [Feb 20 01:19:56] HOL:525694a1f1c7016dea954894bea6e6e396f7d6b3 HolSmt: add unit tests for circular definitions [Feb 21 23:04:33] Machine:pavlova Feb 25 23:08:16 Claimed job