]> matita.cs.unibo.it Git - helm.git/commit
Bug fix
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 17 Nov 2004 11:13:46 +0000 (11:13 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 17 Nov 2004 11:13:46 +0000 (11:13 +0000)
commitc0c0516338b5becba5df28f62c323c9489f9f2c7
tree183dc65dab9737ac82561f3fc7be1bae8c6cfe41
parent9680f6df42892b7b586fb2932617fa99703036bf
Bug fix
helm/ocaml/metadata/metadataConstraints.ml