]> matita.cs.unibo.it Git - helm.git/commit
better precedence handling, should remove useless parens
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Sep 2005 13:35:50 +0000 (13:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 Sep 2005 13:35:50 +0000 (13:35 +0000)
commitc11f4fe10591d568afb410e5d96061448a437254
tree95071f9194a399363fd265f6a18b4bd10472d9bb
parent5c6b8eec9db4119a87eb4fd4055f1ac31a713d90
better precedence handling, should remove useless parens
helm/ocaml/cic_notation/cicNotationPp.ml
helm/ocaml/cic_notation/cicNotationPres.ml
helm/ocaml/cic_notation/cicNotationPt.ml
helm/ocaml/cic_notation/cicNotationRew.ml