]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15190ed) | patch
New syntax of dummy with the type
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 17 Jun 2011 09:49:27 +0000 (09:49 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 17 Jun 2011 09:49:27 +0000 (09:49 +0000)
commit6d0c4a258bcad918a6ef5582ec44b4c7b523387d
treee5ef5287d0568a3a8f7642ddf9be31af8f88bd5etree | snapshot
parent15190ed1fb47989f2d50261db7991186ec3d5e47commit | diff
New syntax of dummy with the type
matita/matita/lib/lambdaN/terms.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.