]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 101c21f) | patch
coercions from funclass are not supported
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:13:56 +0000 (13:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:13:56 +0000 (13:13 +0000)
commite6c985d94df70748f132df23489ff3b60fd108a5
tree619718a8f442b10089efbd7ada4cb60b3c1366a3tree | snapshot
parent101c21fc36fbbff8805e10cfe80082b3a9b52048commit | diff
coercions from funclass are not supported
helm/software/components/library/coercDb.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.