]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5b8cff1) | patch
Implemented:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Oct 2006 14:03:40 +0000 (14:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Oct 2006 14:03:40 +0000 (14:03 +0000)
commit1e06740d20bed28f2e6f0088344065948878a810
treedcf40cbe4ba4f0d9450772dd2f17727adb7571bctree | snapshot
parent5b8cff10c1c13376ec0f36ecc72ed8c6524b0310commit | diff
Implemented:
 "by ... we proved ... that is equivalent to ... done"
and
 "we need to prove ... that is equivalent to ..."
helm/software/components/tactics/declarative.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.