]> matita.cs.unibo.it Git - helm.git/commit
snapshot (minor changes)
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Jun 2005 07:41:51 +0000 (07:41 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 8 Jun 2005 07:41:51 +0000 (07:41 +0000)
commitec54d490477ece51c19d79750dda9805ffda663c
treedca2c8938067e1b600b52479803551397655aa62
parent345d5606c989f46d9de3d3b4c6c53902fabac5bd
snapshot (minor changes)
helm/ocaml/cic_notation/.depend
helm/ocaml/cic_notation/TODO
helm/ocaml/cic_notation/cicNotationParser.ml
helm/ocaml/cic_notation/cicNotationRew.ml
helm/ocaml/cic_notation/cicNotationUtil.ml
helm/ocaml/cic_notation/cicNotationUtil.mli
helm/ocaml/cic_notation/doc/samples.ma [new file with mode: 0644]
helm/ocaml/cic_notation/test_parser.ml