]> matita.cs.unibo.it Git - helm.git/commit
fixed issue with explicit named substitutions
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 May 2005 14:13:23 +0000 (14:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 May 2005 14:13:23 +0000 (14:13 +0000)
commit17c5ad881e737bd2cba2e157f346a618fce87204
treebcb74f87b4f546e9c8594f95f3a8f18257bcef43
parent403c0a86bc67e674e5dc4a7ff822180d761a5159
fixed issue with explicit named substitutions
helm/ocaml/cic_disambiguation/cicTextualParser2.ml