wenzelm [Thu, 06 Oct 2022 17:24:55 +0200] rev 76272
proper home directory for ssh configuration (e.g. ~/.ssh/config);
avoid redundant mkpasswd + mkgroup information, as recommended by Cygwin documentation;
wenzelm [Thu, 06 Oct 2022 14:40:45 +0200] rev 76271
more NEWS;
wenzelm [Thu, 06 Oct 2022 11:38:23 +0200] rev 76270
clarified signature: more arguments;
desharna [Thu, 13 Oct 2022 10:44:27 +0200] rev 76269
added lemma fimage_strict_mono
desharna [Wed, 12 Oct 2022 14:50:24 +0200] rev 76268
added lemma wfP_pfsubset
desharna [Wed, 12 Oct 2022 14:37:03 +0200] rev 76267
added lemmas wf_if_convertible_to_wf, wfP_if_convertible_to_wfP, and wfP_if_convertible_to_nat
wenzelm [Wed, 12 Oct 2022 14:33:04 +0200] rev 76266
update components.sha1;
wenzelm [Wed, 12 Oct 2022 13:47:52 +0200] rev 76265
proper description;
nipkow [Wed, 12 Oct 2022 08:21:07 +0200] rev 76264
one more lemma
nipkow [Tue, 11 Oct 2022 18:52:01 +0200] rev 76263
merged
nipkow [Tue, 11 Oct 2022 18:30:09 +0200] rev 76262
adjusted proofs
nipkow [Tue, 11 Oct 2022 14:22:11 +0200] rev 76261
added and reorganized lemmas (some suggested by Jeremy Sylvestre)
nipkow [Tue, 11 Oct 2022 12:13:47 +0200] rev 76260
removed redundant lemma
nipkow [Tue, 11 Oct 2022 10:45:42 +0200] rev 76259
moved theorem from Fun to Set