]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_disambiguation/cicTextualParser2.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 60033ee) | patch
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
tree235122a721f67597861c12acf1c8cdb946b7cb5atree | snapshot
parent60033ee6d57f253ce1b90e3758a69b85d13f6a41commit | diff
New argument (the identifier) to generalize.
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAst.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAstPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.