]> matita.cs.unibo.it Git - helm.git/commit
use the proper top level function to parse terms
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 May 2006 10:33:42 +0000 (10:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 May 2006 10:33:42 +0000 (10:33 +0000)
commitd2a9e9b78b214663fb0e21eed95b21c5ab7119c6
tree243ce53786e2f91611e3f016a2366cfb9d471b43
parenta408b8e26e4ea85755847f74bf9ca6998c2b47b0
use the proper top level function to parse terms
daemons/whelp/searchEngine.ml