]> matita.cs.unibo.it Git - helm.git/blob - components/cic_disambiguation/tests/aliases.txt
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
matita 0.5.1 tagged
[helm.git] / components / cic_disambiguation / tests / aliases.txt
1 alias id foo = cic:/a.con
2 alias id bar = cic:/b.con
3 alias symbol "plus" (instance 0) = "real plus"
4 alias symbol "plus" (instance 1) = "natural plus"
5 alias num (instance 0) = "real number"
6 alias num (instance 1) = "natural number"
Unnamed repository; edit this file 'description' to name the repository.