]> matita.cs.unibo.it Git - helm.git/commit
moved list_uniq to the extlib
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Sep 2005 14:15:46 +0000 (14:15 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Sep 2005 14:15:46 +0000 (14:15 +0000)
commit0bf96cb668cdd8d14b1c66f8a5241f12c5df9e3a
tree579be8aea609d0a02847b27a6df0116c2028ec61
parent25992baa7fb25b39694f138b8d1483a249b1a266
moved list_uniq to the extlib
helm/matita/matitaDb.ml
helm/matita/matitaMisc.ml
helm/matita/matitaMisc.mli
helm/matita/matitacleanLib.ml
helm/matita/matitadep.ml