]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/cic_disambiguation/tests/aliases.txt
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Preparing for 0.5.9 release.
[helm.git] / helm / software / 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.