]> matita.cs.unibo.it Git - helm.git/commit
Naif version of the union find
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 5 Nov 2009 15:10:55 +0000 (15:10 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 5 Nov 2009 15:10:55 +0000 (15:10 +0000)
commitc717e9d642a19ed5f0b9ac4e3c206942ee0b44cc
tree439a260051879de82aa15daec13498472976f743
parent9d33fd0863f207cee7f882ae28c83e1944d2a0f1
Naif version of the union find
helm/software/components/extlib/hExtlib.ml
helm/software/components/extlib/hExtlib.mli