]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3826abc) | patch
carr_of_term now returns Fun if a Prod is encountered
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 12 Oct 2006 16:10:53 +0000 (16:10 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 12 Oct 2006 16:10:53 +0000 (16:10 +0000)
commit3afed401e6dd094eb0e6278138dc3ff012b7d63b
treec42485f9379ca109c6aafe70396921117c3eef35tree | snapshot
parent3826abcbbb8b8bca2d7de88e8c4e6b4bce5a930bcommit | diff
carr_of_term now returns Fun if a Prod is encountered
components/library/coercDb.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.