]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b197242) | patch
unificatiom hints with premises
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 10 Mar 2009 21:07:46 +0000 (21:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 10 Mar 2009 21:07:46 +0000 (21:07 +0000)
commitdc1902ae1e458e5120af63d880dbd08255bef238
treeb35a2e20ac2ad1a6944856a0b39a1f06fdac009ctree | snapshot
parentb197242b10d80729d47457911bd6f42f4a30f354commit | diff
unificatiom hints with premises
helm/software/components/ng_refiner/nCicUnifHint.ml diff | blob | history
helm/software/components/ng_refiner/nCicUnifHint.mli diff | blob | history
helm/software/components/ng_refiner/nCicUnification.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.