]> 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)
commitc3ac6bc155124578e9f9323172b8b474ecb32869
tree96aa87399acf1f432c43f6998a80f6b3165d4b12
parent5b1dae2bbe5953a848fce91f0e528faebacc7011
improved comment of HExtlib.find
helm/software/components/extlib/hExtlib.mli