]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90ff94e) | patch
some reorganization + some more re-setoids.ma proofs
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 25 Sep 2010 14:55:09 +0000 (14:55 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 25 Sep 2010 14:55:09 +0000 (14:55 +0000)
commit4b940bfbeab1181dd18c56e46761f5e6690d9f9d
treed7196ea3797250dada125a2506f0ee84784644abtree | snapshot
parent90ff94e74ceed0954b8599bff55d5c84f15c1b9fcommit | diff
some reorganization + some more re-setoids.ma proofs
helm/software/matita/nlibrary/datatypes/bool-setoids.ma [new file with mode: 0644] blob
helm/software/matita/nlibrary/datatypes/bool.ma diff | blob | history
helm/software/matita/nlibrary/datatypes/list-setoids.ma [new file with mode: 0644] blob
helm/software/matita/nlibrary/datatypes/list-theory.ma [new file with mode: 0644] blob
helm/software/matita/nlibrary/datatypes/list.ma diff | blob | history
helm/software/matita/nlibrary/datatypes/pairs-setoids.ma [new file with mode: 0644] blob
helm/software/matita/nlibrary/depends diff | blob | history
helm/software/matita/nlibrary/depends.dot diff | blob | history
helm/software/matita/nlibrary/depends.png diff | blob | history
helm/software/matita/nlibrary/re/re-setoids.ma diff | blob | history
helm/software/matita/nlibrary/sets/setoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.