]> matita.cs.unibo.it Git - helm.git/commit
CoRN moved in contribs
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 27 May 2008 08:51:59 +0000 (08:51 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 27 May 2008 08:51:59 +0000 (08:51 +0000)
commitcb3513ef18e52e6e054f8bc99abb833afbb2aee5
tree1b2d9c364095b9dbfdc8e9b0c0534ea8e0fae55c
parentbfef67a8e21e943fa760512faeddd47b5a236ca5
CoRN moved in contribs
13 files changed:
helm/software/matita/contribs/CoRN/Makefile [new file with mode: 0644]
helm/software/matita/contribs/CoRN/algebra/CoRN/SemiGroups.ma [new file with mode: 0644]
helm/software/matita/contribs/CoRN/algebra/CoRN/SetoidFun.ma [new file with mode: 0644]
helm/software/matita/contribs/CoRN/algebra/CoRN/SetoidInc.ma [new file with mode: 0644]
helm/software/matita/contribs/CoRN/algebra/CoRN/Setoids.ma [new file with mode: 0644]
helm/software/matita/contribs/CoRN/depends [new file with mode: 0644]
helm/software/matita/contribs/CoRN/root [new file with mode: 0644]
helm/software/matita/contribs/Makefile
helm/software/matita/library/algebra/CoRN/SemiGroups.ma [deleted file]
helm/software/matita/library/algebra/CoRN/SetoidFun.ma [deleted file]
helm/software/matita/library/algebra/CoRN/SetoidInc.ma [deleted file]
helm/software/matita/library/algebra/CoRN/Setoids.ma [deleted file]
helm/software/matita/library/depends