]> matita.cs.unibo.it Git - helm.git/commit
Resolved problem occured when "=" in MainConclusion
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 17 Nov 2004 14:47:13 +0000 (14:47 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 17 Nov 2004 14:47:13 +0000 (14:47 +0000)
commita7e03aee7257e05cba4225ee3bde1dbb8a6ee515
tree59cfe2c50fa9765c4d7f3b672b9cfd43c40f6adc
parent291921b308fbf37c356019877c4b012f49261ac8
Resolved problem occured when "=" in MainConclusion
helm/ocaml/metadata/metadataConstraints.ml