desharna [Tue, 16 May 2023 23:41:20 +0200] rev 78104
fixed lemma name
desharna [Tue, 16 May 2023 22:23:05 +0200] rev 78103
redefined FSet.fmember as an abbreviation based on Set.member
desharna [Tue, 16 May 2023 14:16:20 +0200] rev 78102
replaced some lemmas' implicit formulas by explicit ones to avoid silent changes
wenzelm [Thu, 25 May 2023 13:58:46 +0200] rev 78101
merged
wenzelm [Tue, 23 May 2023 21:53:18 +0200] rev 78100
proper setup for rule attribute;
wenzelm [Tue, 23 May 2023 21:43:36 +0200] rev 78099
more uniform simproc_setup: avoid vacuous abstraction over morphism, which sometimes captures context values in its functional closure;
wenzelm [Tue, 23 May 2023 20:11:15 +0200] rev 78098
clarified output of embedded values, e.g. for 'print_locale';
wenzelm [Tue, 23 May 2023 19:12:21 +0200] rev 78097
tuned: more antiquotations;
wenzelm [Tue, 23 May 2023 18:59:19 +0200] rev 78096
tuned;
wenzelm [Tue, 23 May 2023 18:46:15 +0200] rev 78095
tuned signature: more position information;