]> matita.cs.unibo.it Git - helm.git/commit
speedup in fixing the graph closures
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 Apr 2008 10:18:56 +0000 (10:18 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 Apr 2008 10:18:56 +0000 (10:18 +0000)
commit18758ebe381286b4aff2232e837a0256c00b400b
treeb4bd42d0d5ea0d9a09acf7bc1f8fef5968e33322
parentfbadb3454a52d879edc58a4a09ca46c1e77dce2f
speedup in fixing the graph closures
helm/software/components/cic/cicUniv.ml