]> matita.cs.unibo.it Git - helm.git/commit
added filter_map
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 4 Oct 2005 09:35:39 +0000 (09:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 4 Oct 2005 09:35:39 +0000 (09:35 +0000)
commit0f553c84d45f6f57977ae200291fd38882655ad3
tree6f795f15f30cece2e0d24fedd5cf85df7fab4f7e
parente4e8adaec753165a73a3acfa20c5d97a405e5dfa
added filter_map
helm/ocaml/extlib/hExtlib.ml
helm/ocaml/extlib/hExtlib.mli