changeset 62499 | 4a5b81ff5992 |
parent 62343 | 24106dc44def |
child 62652 | 7248d106c607 |
--- a/CONTRIBUTORS Wed Mar 02 19:43:31 2016 +0100 +++ b/CONTRIBUTORS Thu Mar 03 08:33:55 2016 +0100 @@ -10,6 +10,9 @@ Abolition of compound operators INFIMUM and SUPREMUM for complete lattices. +* March 2016: Florian Haftmann + Abstract factorial rings with unique factorization. + Contributions to Isabelle2016 -----------------------------