]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec6b4df) | patch
added test for coercions
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 7 Jun 2005 17:37:53 +0000 (17:37 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 7 Jun 2005 17:37:53 +0000 (17:37 +0000)
commit7c4e75d43137f6bc529d1c42a298a72a3548a912
tree46f310d5a29b151fd5844f7d885ff72764cc8800tree | snapshot
parentec6b4df6d02ff30a7a1cd784831017b05b1d46ddcommit | diff
added test for coercions
helm/matita/tests/coercions.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.