]> matita.cs.unibo.it Git - helm.git/commit
Avoid code duplication.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 Apr 2008 08:09:39 +0000 (08:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 Apr 2008 08:09:39 +0000 (08:09 +0000)
commit709549dfafebea9d3e04e383d092f141b49ce68d
tree484b2a9ff04cc4c3500f674b35b8d0f958430209
parent0805c61933df87f5cfae63b94456a1f0518b06d0
Avoid code duplication.
helm/software/components/cic/cicUniv.ml