]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/cic_disambiguation/tests/aliases.txt
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
New functions UriManager.uri_is_var, UriManager.uri_is_con.
[helm.git] / helm / ocaml / 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.