]> matita.cs.unibo.it Git - helm.git/commit
added a lot of notation: arithmetic operators, relational operators, ...
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 23 Feb 2004 15:56:35 +0000 (15:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 23 Feb 2004 15:56:35 +0000 (15:56 +0000)
commit45586ab88c026e6a21927654387b6df266a44700
treee8ad20112cade7244e0e57ecb18504be118794fb
parent2e6021e158975e808f8cbf653e15a9462409a70a
added a lot of notation: arithmetic operators, relational operators, ...
helm/ocaml/cic_disambiguation/arit_notation.ml
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_disambiguation/disambiguateChoices.ml
helm/ocaml/cic_disambiguation/disambiguateChoices.mli
helm/ocaml/cic_disambiguation/logic_notation.ml