| Tue, 17 May 2022 14:10:14 +0100 | paulson | tidied auto / simp with null arguments | file | diff | annotate |
| Thu, 08 Jul 2021 08:42:36 +0200 | desharna | added opaque_combs and renamed hide_lams to opaque_lifting | file | diff | annotate |
| 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 |