changeset 73127 | 4c4d479b097d |
parent 73126 | 1105c42722dc |
child 73183 | ebf7babc05ce |
--- a/CONTRIBUTORS Sun Jan 10 15:48:15 2021 +0100 +++ b/CONTRIBUTORS Thu Jan 14 16:58:04 2021 +0000 @@ -6,6 +6,9 @@ Contributions to this Isabelle version -------------------------------------- +* January 2021: Jakub Kądziołka + Some lemmas for HOL-Computational_Algebra. + Contributions to Isabelle2021 -----------------------------