]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad45ff0) | patch
Some CoRN files.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 16 Jan 2007 12:08:31 +0000 (12:08 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 16 Jan 2007 12:08:31 +0000 (12:08 +0000)
commite1e31e9c6a0bcdc60ace7e2e650cb8d719d07e33
tree59544401b2e560c5ae5c8665220310e50dc297betree | snapshot
parentad45ff0a9bc4ddbfe0691ce1edbfa8784b37aa8ecommit | diff
Some CoRN files.
matita/library/algebra/CoRN/SemiGroups.ma [new file with mode: 0644] blob
matita/library/algebra/CoRN/SetoidFun.ma diff | blob | history
matita/library/algebra/CoRN/Setoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.