isabelle: File revisions

src/HOL/Library/Poly_Mapping.thy

Fri, 12 Apr 2024 09:58:32 +0100	paulson	Tidying ugly proofs	file \| diff \| annotate
Tue, 02 May 2023 19:49:17 +0200	wenzelm	more standard name bindings (amending 5bf71b4da706): avoid odd full_name like "Orderings.class.Orderings.preorder.of_class.intro" with many redundant name space accesses;	file \| diff \| annotate
Sun, 15 Jan 2023 18:30:18 +0100	wenzelm	isabelle update -u cite;	file \| diff \| annotate
Mon, 07 Nov 2022 22:16:37 +0100	nipkow	generalized sorted_sort_id to sort_key_id_if_sorted	file \| diff \| annotate
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

isabelle