]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a62bb1) | patch
Added mk_implicit_sort.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 7 Feb 2004 18:01:53 +0000 (18:01 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 7 Feb 2004 18:01:53 +0000 (18:01 +0000)
commit18b06d9551f845a8323937403fe0c99e52ce7be5
tree2b2cfa4997605b5a858ad886a6c5542a8b4b5be1tree | snapshot
parent8a62bb1bc12b3a40f54f9d77da204533fc215b0dcommit | diff
Added mk_implicit_sort.
helm/ocaml/cic_unification/cicMkImplicit.ml diff | blob | history
helm/ocaml/cic_unification/cicMkImplicit.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.