| Wed, 23 Nov 2022 11:48:07 +0100 | blanchet | compile | changeset | files |
| Wed, 23 Nov 2022 11:26:50 +0100 | blanchet | correctly show '(> 2 s, timed out)' or similar in Sledgehammer's output | changeset | files |
| Mon, 21 Nov 2022 18:23:32 +0100 | desharna | merged | changeset | files |
| Mon, 21 Nov 2022 13:53:04 +0100 | desharna | strengthened and renamed lemma reflp_on_equality | changeset | files |
| Mon, 21 Nov 2022 13:48:58 +0100 | desharna | renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_(ge|le) | changeset | files |
| Mon, 21 Nov 2022 16:21:49 +0000 | paulson | Added an example for Isabelle/CTT | changeset | files |
| Sun, 20 Nov 2022 23:53:39 +0100 | wenzelm | clarified signature; | changeset | files |