]> matita.cs.unibo.it Git - helm.git/commit
Seed reset before each convert_obj.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Apr 2008 17:03:35 +0000 (17:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Apr 2008 17:03:35 +0000 (17:03 +0000)
commit52a90cb35796f2f090c97e41dc13ab1715877234
tree83fff4123dc284b73f3929458b3afb4f73619c45
parentac31c84bb9bcf327554976d4296d787853fc8db5
Seed reset before each convert_obj.
helm/software/components/ng_kernel/oCic2NCic.ml