]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 230b21d) | patch
Submitted a test for inferencing of dependent types.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Jul 2006 15:11:14 +0000 (15:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Jul 2006 15:11:14 +0000 (15:11 +0000)
commit41818e7e1f465ca2062b1937dd432fc81fe777d6
tree39b55f93959c11c0139a0f28e12b0953277106c1tree | snapshot
parent230b21d82131c6e6a4bccad225d5dc419aeb9ae4commit | diff
Submitted a test for inferencing of dependent types.
helm/software/matita/tests/apply2.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.