desharna [Sat, 22 Jan 2022 11:33:31 +0100] rev 75002
added spying of fact filtering timing
desharna [Sat, 22 Jan 2022 08:46:37 +0100] rev 75001
tuned mirabelle_sledgehammer output
desharna [Fri, 21 Jan 2022 21:10:34 +0100] rev 75000
added spying to Sledgehammer
desharna [Fri, 21 Jan 2022 21:09:55 +0100] rev 74999
proper fact filter for dummy ATPs
desharna [Fri, 21 Jan 2022 16:17:42 +0100] rev 74998
added syping of fact filtering time to sledgehammer
desharna [Fri, 21 Jan 2022 15:38:00 +0100] rev 74997
removed unsynchronized references in mirabelle_sledgehammer
desharna [Fri, 21 Jan 2022 15:29:36 +0100] rev 74996
tuned mirabelle_sledgehammer to have a single call to Synchronized.change per run
wenzelm [Mon, 24 Jan 2022 21:29:37 +0100] rev 74995
updated to polyml-test-15c840d48c9a;
wenzelm [Sat, 22 Jan 2022 13:00:03 +0100] rev 74994
some updates and clarification on Assumption.export_term;
paulson <lp15@cam.ac.uk> [Fri, 21 Jan 2022 23:49:10 +0000] rev 74993
new theorem has_integral_UN