]> matita.cs.unibo.it Git - helm.git/commit
* implemented unless
authorLuca Padovani <luca.padovani@unito.it>
Mon, 11 Jul 2005 14:53:23 +0000 (14:53 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 11 Jul 2005 14:53:23 +0000 (14:53 +0000)
commit26cce624c98e795521078794c748758798031704
tree8557cc98df596bc958c15a9b1e67da615805aecd
parentf508a0d1a9202186ec9b913ce1ddc6861918ad64
* implemented unless
helm/ocaml/cic_notation/cicNotationFwd.ml
helm/ocaml/cic_notation/cicNotationMatcher.ml
helm/ocaml/cic_notation/cicNotationParser.ml
helm/ocaml/cic_notation/cicNotationPp.ml
helm/ocaml/cic_notation/cicNotationPt.ml
helm/ocaml/cic_notation/cicNotationUtil.ml