wenzelm [Fri, 26 May 2023 13:19:49 +0200] rev 78114
clarified treatment of context;
wenzelm [Fri, 26 May 2023 11:47:45 +0200] rev 78113
clarified treatment of context;
wenzelm [Fri, 26 May 2023 11:46:51 +0200] rev 78112
more operations;
desharna [Fri, 26 May 2023 10:34:39 +0200] rev 78111
NEWS
desharna [Fri, 26 May 2023 10:34:32 +0200] rev 78110
renamed notin_fset to not_fmember
desharna [Fri, 26 May 2023 09:59:06 +0200] rev 78109
added author
desharna [Fri, 26 May 2023 09:56:20 +0200] rev 78108
merged
desharna [Fri, 26 May 2023 09:49:45 +0200] rev 78107
adapted Transfer_Debug from fmember to fempty
desharna [Fri, 26 May 2023 09:48:55 +0200] rev 78106
renamed variables
desharna [Wed, 17 May 2023 09:00:04 +0200] rev 78105
merged
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;