]> matita.cs.unibo.it Git - helm.git/commit
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
tree7ec8b3573179cdcadf49e96a3f651caccb2f34bb
parent4441b81ba3179696c42ebc8ab720d1ba0f67078a
added another example in which our coercions are powerful
helm/software/matita/tests/coercions_open.ma [new file with mode: 0644]