]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d9f316) | patch
trans_eq and sym_eq indexing restored. Apparently they are useful for several(?)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 2 Nov 2011 12:57:20 +0000 (12:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 2 Nov 2011 12:57:20 +0000 (12:57 +0000)
commitdfb3cbe30eacd2c1b333faa3e0d92c3278c24d3c
treed6436e1d9537f87e6ce569e3e706d56306f5b9actree | snapshot
parent1d9f316d7e397f52650c37ccc97fada28d293118commit | diff
trans_eq and sym_eq indexing restored. Apparently they are useful for several(?)
theorems in CerCo (file positive.ma).
matita/matita/lib/basics/logic.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.