]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8fa6a59) | patch
convertibility.
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 20 Apr 2011 08:50:32 +0000 (08:50 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 20 Apr 2011 08:50:32 +0000 (08:50 +0000)
commite6a202ab70ee9f3f112616e41334576bc7561b74
treef0feb6d32a556aad3f61ba27448b9dcaa977e547tree | snapshot
parent8fa6a59d37eafaea6b21450efd679081bd83bcbacommit | diff
convertibility.
matita/matita/lib/lambda/convertibility.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.