]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b6512e) | patch
Refiner substituted with the type-checker in a case that is known to be already
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Sep 2005 11:59:41 +0000 (11:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Sep 2005 11:59:41 +0000 (11:59 +0000)
commit990de61eb594f86798348c1ff53a8caed2e0e6f2
treee75269105d907cc8e16a36bd405c0e1ca2e5e737tree | snapshot
parent6b6512e2fa9b057fe3fbbc46f14c854449bf2124commit | diff
Refiner substituted with the type-checker in a case that is known to be already
well-typed.
helm/ocaml/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.