]> matita.cs.unibo.it Git - helm.git/commit
added \to notation for anonymous binders Pi and Lambda
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Feb 2004 17:18:25 +0000 (17:18 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Feb 2004 17:18:25 +0000 (17:18 +0000)
commitde5c6a62937a7448c2258ad736eaf8c30ca68e6e
treecfbec53f3e9eb1656e29da10b039ef40f3982c0b
parent597bf5f989f410aea68d38ba6e32b9498493faf6
added \to notation for anonymous binders Pi and Lambda
helm/ocaml/cic_transformations/cicAstPp.ml