From 986c7b7c96d3207c64684c71aeee7cf8b5017d82 Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Mon, 14 Oct 2019 13:07:24 +0200 Subject: Updating changelog --- .../10-standard-library/10895-master+weak-excluded-middle-de-morgan.rst | 1 + 1 file changed, 1 insertion(+) create mode 100644 doc/changelog/10-standard-library/10895-master+weak-excluded-middle-de-morgan.rst (limited to 'doc') diff --git a/doc/changelog/10-standard-library/10895-master+weak-excluded-middle-de-morgan.rst b/doc/changelog/10-standard-library/10895-master+weak-excluded-middle-de-morgan.rst new file mode 100644 index 0000000000..6e87ff93c7 --- /dev/null +++ b/doc/changelog/10-standard-library/10895-master+weak-excluded-middle-de-morgan.rst @@ -0,0 +1 @@ +- ClassicalFacts: Adding the standard equivalence between weak excluded-middle and the classical instance of De Morgan's law (`#10895 `_, by Hugo Herbelin). -- cgit v1.2.3