]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ae9901) | 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)
commitbccb5e2838b8552896ee797af5114e7c7ca037b6
tree5c64e1fcd45eec446915175261b82898152f537ctree | snapshot
parent8ae990161006978a019f0afda4ff8d56a78d1fd0commit | diff
Role of
 - replace
 - replace_lifting
 - replace_lifting_csc
clarified with comments. None of this function is the inverse of subst :-)
helm/software/components/tactics/proofEngineReduction.ml diff | blob | history
helm/software/components/tactics/proofEngineReduction.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.