]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8de6ff) | patch
more stuff to reach an intensional definition of finite sets
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:09:08 +0000 (13:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:09:08 +0000 (13:09 +0000)
commit7a39300df548240641269857e40d5476ff88db16
tree0e9fe2b7d8fe63fde9cf6612105bc60636970855tree | snapshot
parentf8de6ff875398b99f8fa193a1160955b46bba57bcommit | diff
more stuff to reach an intensional definition of finite sets
helm/software/matita/library/decidable_kit/fgraph.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.