]> matita.cs.unibo.it Git - helm.git/commit
refactored modules structure
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 May 2005 15:23:19 +0000 (15:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 May 2005 15:23:19 +0000 (15:23 +0000)
commite9cfecee7dd7cf8388512ffd4aa223782c728eda
treea2634e59d5d901305a70f9f28c4419e0f99d5ab1
parentb19ee5bd8a25151b78eb1c78f98e6ab1f4b325ff
refactored modules structure
helm/ocaml/cic_notation/.depend
helm/ocaml/cic_notation/Makefile
helm/ocaml/cic_notation/cicNotationEnv.ml
helm/ocaml/cic_notation/cicNotationEnv.mli
helm/ocaml/cic_notation/cicNotationParser.ml
helm/ocaml/cic_notation/cicNotationParser.mli
helm/ocaml/cic_notation/cicNotationPp.mli
helm/ocaml/cic_notation/cicNotationSubst.ml [new file with mode: 0644]
helm/ocaml/cic_notation/cicNotationSubst.mli [new file with mode: 0644]
helm/ocaml/cic_notation/test_parser.ml