]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd6a295) | patch
non uniform coercions landed in hints_declaration.ma, setoids and sets library
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 12 Sep 2010 11:06:39 +0000 (11:06 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 12 Sep 2010 11:06:39 +0000 (11:06 +0000)
commite8fbe5898b3214a5b0c4d48e8c9d1ee55f3415cc
treef5d64394d1bf216c832b152133bd082a53d384d6tree | snapshot
parentfd6a295e279aa5cc6b8eda610e25f3fbdb2f8d43commit | diff
non uniform coercions landed in hints_declaration.ma, setoids and sets library
updated accordingly
helm/software/matita/nlibrary/hints_declaration.ma diff | blob | history
helm/software/matita/nlibrary/re/re-setoids.ma diff | blob | history
helm/software/matita/nlibrary/sets/categories.ma diff | blob | history
helm/software/matita/nlibrary/sets/setoids.ma diff | blob | history
helm/software/matita/nlibrary/sets/setoids1.ma diff | blob | history
helm/software/matita/nlibrary/sets/sets.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.