]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd1c348) | patch
bugfix in computation of src and tgt for coercions with arity > 0
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 16:24:31 +0000 (16:24 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 16:24:31 +0000 (16:24 +0000)
commit2b867cf85544ca5464b261910cc15d3a3a0aefe5
treeaaedca1078d0c3a7ee9196264be62189b2090980tree | snapshot
parentfd1c3482c988c431105b94553689f9a5ac15387ecommit | diff
bugfix in computation of src and tgt for coercions with arity > 0
components/library/librarySync.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.