]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2007402) | patch
rewritten instantiate code
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Sep 2009 20:19:38 +0000 (20:19 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Sep 2009 20:19:38 +0000 (20:19 +0000)
commit7b112b0cd39c5ab0db5c28636c0a7f7e36b4d6e2
tree258c4110fc82f3b39f0965e79398f3c40c7fc2d9tree | snapshot
parent2007402c996678701798d71124a1a255529061eecommit | diff
rewritten instantiate code
helm/software/components/ng_refiner/nCicMetaSubst.ml diff | blob | history
helm/software/components/ng_refiner/nCicUnifHint.ml diff | blob | history
helm/software/components/ng_refiner/nCicUnification.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.