Mon, 10 May 2021 16:14:34 +0200 | wenzelm | tuned proofs --- avoid z3, which is absent on arm64-linux; | file | diff | annotate |
Thu, 04 Apr 2019 16:38:45 +0100 | paulson | fixed markup in Poly_Mapping; Free_Abelian_Groups (but not yet imported by Algebra!) | file | diff | annotate |
Wed, 03 Apr 2019 16:38:59 +0100 | paulson | theory Poly_Mapping | file | diff | annotate |