]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a99611) | patch
cic_mkimplicit' removed (its implementation was wrong and the function is
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Feb 2004 15:43:24 +0000 (15:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Feb 2004 15:43:24 +0000 (15:43 +0000)
commit99264b3a8247ca0e692bcbdb63087ce35e294e6b
tree323116613fe1ffbaf8c441dd34dcf3d3fde6637btree | snapshot
parent3a996119583c255a34fa2f5274939f78f0d940bccommit | diff
cic_mkimplicit' removed (its implementation was wrong and the function is
not really used)
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.