Wed, 03 Apr 2019 21:50:00 +0200 | wenzelm | clarified signature: more explicit operations for corresponding Isar commands; | changeset | files |
Wed, 03 Apr 2019 21:11:21 +0200 | wenzelm | proper URL; | changeset | files |
Thu, 04 Apr 2019 16:38:45 +0100 | paulson | fixed markup in Poly_Mapping; Free_Abelian_Groups (but not yet imported by Algebra!) | changeset | files |