]> matita.cs.unibo.it Git - helm.git/commit
Union find slightly more general (f can now point to external elements)
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 10 Nov 2009 15:11:51 +0000 (15:11 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 10 Nov 2009 15:11:51 +0000 (15:11 +0000)
commit7bac1f2b64e5b1f6e2ef542e6b1f9134fe68c90a
tree28d5dc6d5fd5e6eebc11a527c1346dbaee0cf6b2
parent859157c4a7cf7f9945d1c04f595dfe9acd09f906
Union find slightly more general (f can now point to external elements)
helm/software/components/extlib/hExtlib.ml
helm/software/components/extlib/hExtlib.mli