desharna [Sun, 28 May 2023 12:14:40 +0200] rev 78121
removed intro, desc, elim, and simp annotations from FSet lemmas that are instances of lemmas in Set
desharna [Sat, 27 May 2023 23:34:42 +0200] rev 78120
merged
desharna [Sat, 27 May 2023 23:34:07 +0200] rev 78119
NEWS
desharna [Sat, 27 May 2023 23:32:40 +0200] rev 78118
set up code generation for fset
desharna [Fri, 26 May 2023 15:44:59 +0200] rev 78117
redefined FSet.fBall and FSet.fBex as abbreviations based on Set.Ball and Set.Bex
wenzelm [Sat, 27 May 2023 13:30:42 +0200] rev 78116
merged
wenzelm [Sat, 27 May 2023 13:29:13 +0200] rev 78115
tuned signature;
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;
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;
wenzelm [Tue, 23 May 2023 10:56:41 +0200] rev 78094
tuned;
paulson <lp15@cam.ac.uk> [Tue, 23 May 2023 12:31:23 +0100] rev 78093
Finally, the abstract metric space development
wenzelm [Mon, 22 May 2023 12:01:05 +0200] rev 78092
merged