| Wed, 20 Mar 2024 12:26:52 +0100 | desharna | try proof method "order" in Sledgehammer's proof reconstruction | changeset | files |
| Wed, 20 Mar 2024 11:55:58 +0100 | desharna | added Mirabelle action "order" | changeset | files |
| Wed, 20 Mar 2024 11:11:04 +0100 | desharna | renamed lemma antisymp_on_reflcp to antisymp_on_reflclp | changeset | files |
| Wed, 20 Mar 2024 09:57:14 +0100 | desharna | tuned proof | changeset | files |
| Wed, 20 Mar 2024 09:26:25 +0100 | desharna | added lemma order_reflclp_if_transp_and_asymp | changeset | files |
| Wed, 20 Mar 2024 09:24:12 +0100 | desharna | added lemmas antisym_on_reflcl_if_asym_on and antisymp_on_reflclp_if_asymp_on | changeset | files |
| Wed, 20 Mar 2024 17:30:44 +0100 | Manuel Eberl | HOL-Library: added modulo/congruence for real numbers | changeset | files |