]> matita.cs.unibo.it Git - helm.git/commit
added hyperlinks on case pattern heads and outtype
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Sep 2005 08:45:30 +0000 (08:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Sep 2005 08:45:30 +0000 (08:45 +0000)
commit98d5d40127827a5c40e58cb0c9654066f940b0ea
tree93e005f0a1df5b7d51ff416c65b6f6f68496e97d
parent33dd8006a7e0eb9c6c2a93b4d98c8ef88d2d49d1
added hyperlinks on case pattern heads and outtype
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_notation/cicNotationFwd.ml
helm/ocaml/cic_notation/cicNotationParser.ml
helm/ocaml/cic_notation/cicNotationPp.ml
helm/ocaml/cic_notation/cicNotationPres.ml
helm/ocaml/cic_notation/cicNotationPt.ml
helm/ocaml/cic_notation/cicNotationRew.ml
helm/ocaml/cic_notation/cicNotationRew.mli
helm/ocaml/cic_notation/cicNotationUtil.ml