]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0bfad3f) | patch
today it seems that the substituted should be lifted by k-1+lift_args and not k+lift_...
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 4 Apr 2008 17:41:33 +0000 (17:41 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 4 Apr 2008 17:41:33 +0000 (17:41 +0000)
commitdff76b5e1557ff32872f4e48854daaa6c42e5ad2
tree5721c00f46f482e1eac96714399099f5185d272dtree | snapshot
parent0bfad3f438ba29135f2c18d1bf3cb0c8f462a205commit | diff
today it seems that the substituted should be lifted by k-1+lift_args and not k+lift_args since k starts from 1
helm/software/components/ng_kernel/nCicSubstitution.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.