]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03f843e) | 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)
commit346c502bf7c78629e75e49f8d9ca379144fdb5df
treef51474c543e2149dacbbe5f08ea48597e80a11d6tree | snapshot
parent03f843e53f48f6bc363656060a31bb29c4e0be38commit | diff
Implemented:
 "by ... we proved ... that is equivalent to ... done"
and
 "we need to prove ... that is equivalent to ..."
components/tactics/declarative.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.