]> matita.cs.unibo.it Git - helm.git/commit
*** empty log message ***
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jul 2005 07:54:24 +0000 (07:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jul 2005 07:54:24 +0000 (07:54 +0000)
commit206f96afb7097c20b3cc8bd144825467b4fde7ae
tree810701d2931642f94b2f3301f085eb2e2c79c555
parente80eed78f048a235b44d2fd266c4b5a4dd951632
*** empty log message ***
helm/ocaml/cic_notation/.depend
helm/ocaml/cic_notation/Makefile
helm/ocaml/cic_notation/TODO
helm/ocaml/cic_notation/cicNotationPres.ml
helm/ocaml/cic_notation/cicNotationPres.mli
helm/ocaml/cic_notation/test_parser.ml