From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 27 Jan 2004 08:47:53 +0000 (+0000)
Subject: sample aliases language
X-Git-Tag: V_0_2_3~138
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=94b2f36a9461f5ec6e0c6a048c96eec333e82b65;p=helm.git

sample aliases language
---

diff --git a/helm/ocaml/cic_disambiguation/tests/aliases.txt b/helm/ocaml/cic_disambiguation/tests/aliases.txt
new file mode 100644
index 000000000..12b09fff1
--- /dev/null
+++ b/helm/ocaml/cic_disambiguation/tests/aliases.txt
@@ -0,0 +1,6 @@
+alias id foo = cic:/a.con
+alias id bar = cic:/b.con
+alias symbol "plus" (instance 0) = "real plus"
+alias symbol "plus" (instance 1) = "natural plus"
+alias num (instance 0) = "real number"
+alias num (instance 1) = "natural number"