]> matita.cs.unibo.it Git - helm.git/commit
improved comment of HExtlib.find
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 22 Feb 2006 23:22:09 +0000 (23:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 22 Feb 2006 23:22:09 +0000 (23:22 +0000)
commit2e2ce89ad33092676c91fc65960614dc1bcc5bb6
tree221cd235474a3896853714c8cd39c0e6e1f944bc
parentda659039ed0176fa65d12db8dd4e5051d4b56c42
improved comment of HExtlib.find
components/extlib/hExtlib.mli