]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21d7aa4) | patch
added test about dependent coercions
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 24 Jul 2007 08:58:16 +0000 (08:58 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 24 Jul 2007 08:58:16 +0000 (08:58 +0000)
commiteeb60c972db9d58e6559a0e501d4221ce808b50a
treefb6ef8eac45572f1957889fa6ca8efa7a4b18fb9tree | snapshot
parent21d7aa4df8d5d4bfe1073720ea4f9410e9cec879commit | diff
added test about dependent coercions
helm/software/matita/tests/coercions_dependent.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.