]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4dc87cc) | patch
claudio, please have a look at this
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 9 Jul 2009 16:30:17 +0000 (16:30 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 9 Jul 2009 16:30:17 +0000 (16:30 +0000)
commitb6afef7e73324824025a6d7f313129d55b72cfc6
treeb0d086d6da0560e7e45074621133892c635df25etree | snapshot
parent4dc87cc7384ba61136bc82a23effe6a52160e720commit | diff
claudio, please have a look at this
helm/software/matita/tests/ng_coercions.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.