]> matita.cs.unibo.it Git - helm.git/commit
added an utility function
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:08:24 +0000 (13:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:08:24 +0000 (13:08 +0000)
commitf8de6ff875398b99f8fa193a1160955b46bba57b
tree6d8ee1c301e71c5857022335b6913400d852aff5
parent52f68b88a73c06438a05383b0a359bf2e0eb5378
added an utility function
helm/software/components/extlib/hExtlib.ml
helm/software/components/extlib/hExtlib.mli