]> matita.cs.unibo.it Git - helm.git/commit
added list_concat
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Oct 2005 08:24:33 +0000 (08:24 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Oct 2005 08:24:33 +0000 (08:24 +0000)
commitca6abc9a3c4e7b5ab614dfa097f87996a6383d68
tree5716c57e9e9b2cd791e2771a39d784fd61a78682
parent2b0e0897ce58921e06793ad49ea1111e3b7b915b
added list_concat
helm/ocaml/extlib/hExtlib.ml
helm/ocaml/extlib/hExtlib.mli