]> matita.cs.unibo.it Git - helm.git/commit
Added "nocomposites" to coercions.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 26 May 2011 09:27:38 +0000 (09:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 26 May 2011 09:27:38 +0000 (09:27 +0000)
commit8aa44cb352041dd314011996b4b1a1ff8990a000
tree1435ad21eef610d63803c3b6c3d6618a311787b0
parent41c4bfe9415b1b40278878dd767b734c61a47a69
Added "nocomposites" to coercions.
matita/components/grafite/grafiteAst.ml
matita/components/grafite_engine/grafiteEngine.ml
matita/components/grafite_engine/nCicCoercDeclaration.ml
matita/components/grafite_engine/nCicCoercDeclaration.mli
matita/components/grafite_parser/grafiteParser.ml
matita/components/ng_paramodulation/nCicProof.ml
matita/components/ng_refiner/nCicUnification.ml
matita/components/syntax_extensions/.depend