]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4efe53b) | patch
some work on \exists
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 22 Jul 2010 08:05:23 +0000 (08:05 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 22 Jul 2010 08:05:23 +0000 (08:05 +0000)
commit839b5aa6fe82b39eaaca34e6f99fe3a4f58658c4
tree28a4494749f96d466df7a3cdc7a04e3e18d2f325tree | snapshot
parent4efe53bc2098939c255d5b03941212549f89a1bdcommit | diff
some work on \exists
helm/software/matita/nlibrary/re/re-setoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.