]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63f876b) | patch
Role of
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 Mar 2007 16:17:42 +0000 (16:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 Mar 2007 16:17:42 +0000 (16:17 +0000)
commit1f1e441c320c1ed94e648f5e126cf2298a1eda00
tree9fc2d13f632a10d74ea1962908859bdcc0f59e1dtree | snapshot
parent63f876b112e1be016e8063e6a00ec47f841ee615commit | diff
Role of
 - replace
 - replace_lifting
 - replace_lifting_csc
clarified with comments. None of this function is the inverse of subst :-)
components/tactics/proofEngineReduction.ml diff | blob | history
components/tactics/proofEngineReduction.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.