Mon, 26 Sep 2022 20:40:19 +0200 | wenzelm | provide missing LaTeX macro, e.g. for AFP/PAC_Checker; | changeset | files |
Mon, 26 Sep 2022 11:30:44 +0200 | wenzelm | clarified signature; | changeset | files |
Mon, 26 Sep 2022 08:41:53 +0000 | haftmann | streamlined division on polynomials | changeset | files |