]> matita.cs.unibo.it Git - helm.git/commit
Disambiguation passes simplified.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 24 Jul 2006 14:58:55 +0000 (14:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 24 Jul 2006 14:58:55 +0000 (14:58 +0000)
commita0d4ddbd29ac0a26e462125ae9e7e0a177dbde18
treebd315bd51c645b33a4653113102000674c068aaa
parentbec691ac68b66ca288ac0280871afb6597259446
Disambiguation passes simplified.
components/grafite_parser/grafiteDisambiguator.ml