]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/lib/lambda
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2914bfb) | patch
Porting to new reduction.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 May 2011 08:34:57 +0000 (08:34 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 May 2011 08:34:57 +0000 (08:34 +0000)
commit18e12fae4268ea37c34f0e40186cb9d0ceeadf1e
tree497036ed50326a5f5bf6b37af7267d131a33a3a5tree | snapshot
parent2914bfbeac3c2e0f53ba8c612cd11b3b2afbabcecommit | diff
Porting to new reduction.
matita/matita/lib/lambda/convertibility.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.