]> matita.cs.unibo.it Git - helm.git/commit
implemented interface for gTopLevel
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Jan 2004 16:38:17 +0000 (16:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Jan 2004 16:38:17 +0000 (16:38 +0000)
commit308d03101d84a4d62465bb3ff7c0cd9ca866c659
tree2ba855f7803d617a250587db5d8c38f8cb4a8643
parent49bb3bff65173f6f443b66d2d3120d8d9843144e
implemented interface for gTopLevel
helm/ocaml/cic_disambiguation/disambiguate.mli
helm/ocaml/cic_disambiguation/disambiguate_types.ml
helm/ocaml/cic_disambiguation/disambiguate_types.mli