]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d737336) | patch
Dead code removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Aug 2012 16:13:44 +0000 (16:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Aug 2012 16:13:44 +0000 (16:13 +0000)
commit916ebe889a7db003e79dea77671e3a1aeb8d7dc8
tree51a21c95370d1c45fa4753b561bc61f61af64237tree | snapshot
parentd737336c89a9942ebe97a834ff87861c8907d6abcommit | diff
Dead code removed.
matita/components/ng_kernel/nCicExtraction.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.