diff options
Diffstat (limited to 'theories/Unicode/Utf8_core.v')
| -rw-r--r-- | theories/Unicode/Utf8_core.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/theories/Unicode/Utf8_core.v b/theories/Unicode/Utf8_core.v index a42de3abd..31724b3ca 100644 --- a/theories/Unicode/Utf8_core.v +++ b/theories/Unicode/Utf8_core.v @@ -7,6 +7,8 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) + + (* Logic *) Notation "∀ x .. y , P" := (forall x, .. (forall y, P) ..) (at level 200, x binder, y binder, right associativity) : type_scope. |