Fri, 27 May 2022 13:46:40 +0200 | desharna | excluded dummy ATPs from Sledgehammer's default provers | changeset | files |
Wed, 25 May 2022 14:39:46 +0200 | desharna | move monotone from Complete_Partial_Order to Orderings | changeset | files |
Wed, 25 May 2022 10:57:07 +0100 | paulson | qualified name to fix integrable_cong ambiguity | changeset | files |