From acfd166ef3d3b9773220ab1188397c9a5a730889 Mon Sep 17 00:00:00 2001
From: monate
Date: Fri, 14 Mar 2003 14:21:54 +0000
Subject: coqide: utf8.v

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3773 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/notations.v | 2 --
 ide/utf8.v      | 2 ++
 2 files changed, 2 insertions(+), 2 deletions(-)
 delete mode 100644 ide/notations.v
 create mode 100644 ide/utf8.v

diff --git a/ide/notations.v b/ide/notations.v
deleted file mode 100644
index d0d94dc518..0000000000
--- a/ide/notations.v
+++ /dev/null
@@ -1,2 +0,0 @@
-Notation "∀ x : t | P" := (x:t)P (at level 1, x,t,P at level 10).
-Notation "∃ x : t | P" := (EXT x:t|P) (at level 1, x,t,P at level 10).
diff --git a/ide/utf8.v b/ide/utf8.v
new file mode 100644
index 0000000000..d0d94dc518
--- /dev/null
+++ b/ide/utf8.v
@@ -0,0 +1,2 @@
+Notation "∀ x : t | P" := (x:t)P (at level 1, x,t,P at level 10).
+Notation "∃ x : t | P" := (EXT x:t|P) (at level 1, x,t,P at level 10).
-- 
cgit v1.2.3