isabelle: File revisions

src/HOL/Predicate.thy

Thu, 26 Jun 2025 17:25:29 +0200	haftmann	append (rather than prepend) code equations: the order within a theory is maintained in the resulting code	file \| diff \| annotate
Tue, 08 Oct 2024 15:44:11 +0200	wenzelm	tuned whitespace, to simplify hypersearch;	file \| diff \| annotate
Mon, 23 Sep 2024 13:32:38 +0200	wenzelm	standardize mixfix annotations via "isabelle update -u mixfix_cartouches -l Pure HOL" --- to simplify systematic editing;	file \| diff \| annotate
Tue, 05 Mar 2019 07:00:21 +0000	haftmann	avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default	file \| diff \| annotate
Sat, 10 Nov 2018 07:57:19 +0000	haftmann	clarified status of legacy input abbreviations	file \| diff \| annotate
Mon, 26 Mar 2018 16:14:16 +0200	Manuel Eberl	Removed some uses of deprecated _tac methods. (Patch from Viorel Preoteasa)	file \| diff \| annotate
Mon, 12 Mar 2018 20:52:53 +0100	Manuel Eberl	Changes to complete distributive lattices due to Viorel Preoteasa	file \| diff \| annotate
Wed, 10 Jan 2018 15:25:09 +0100	nipkow	ran isabelle update_op on all sources	file \| diff \| annotate

isabelle