]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 597bf5f) | patch
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
treecfbec53f3e9eb1656e29da10b039ef40f3982c0btree | snapshot
parent597bf5f989f410aea68d38ba6e32b9498493faf6commit | diff
added \to notation for anonymous binders Pi and Lambda
helm/ocaml/cic_transformations/cicAstPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.