]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4441b81) | patch
added another example in which our coercions are powerful
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 25 Jul 2007 10:13:55 +0000 (10:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 25 Jul 2007 10:13:55 +0000 (10:13 +0000)
commit9e02cc019ec9d8e5d3223e36e6b0be9f6411e0a5
tree7ec8b3573179cdcadf49e96a3f651caccb2f34bbtree | snapshot
parent4441b81ba3179696c42ebc8ab720d1ba0f67078acommit | diff
added another example in which our coercions are powerful
helm/software/matita/tests/coercions_open.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.