]> matita.cs.unibo.it Git - helm.git/commit
New argument (the identifier) to generalize.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 13:45:59 +0000 (13:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jun 2005 13:45:59 +0000 (13:45 +0000)
commitc91796631682cba2972b964c7570c3437ccd971f
tree235122a721f67597861c12acf1c8cdb946b7cb5a
parent60033ee6d57f253ce1b90e3758a69b85d13f6a41
New argument (the identifier) to generalize.
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_transformations/tacticAst.ml
helm/ocaml/cic_transformations/tacticAstPp.ml